Communication Dans Un Congrès
Année : 2013
Kamel BARKAOUI : 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 : vendredi 8 mars 2024-11:47:49
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
26
Consultations
0
Téléchargements