Verifying SystemC with predicate abstraction: A component based approach - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Verifying SystemC with predicate abstraction: A component based approach

Fichier non déposé

Dates et versions

hal-02479617 , version 1 (14-02-2020)

Identifiants

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⟩
26 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More