Communication Dans Un Congrès
Année : 2013
Connectez-vous pour contacter le contributeur
https://hal.science/hal-02479617
Soumis le : vendredi 14 février 2020-15:43:48
Dernière modification le : samedi 16 mai 2026-03:17:24
Citer
Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui. Verifying SystemC with predicate abstraction: A component based approach. 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI), Aug 2013, San Francisco, France. pp.536-545, ⟨10.1109/IRI.2013.6642516⟩. ⟨hal-02479617⟩
Collections
90
Consultations
0
Téléchargements