Article Dans Une Revue
IJCCBS
Année : 2014
David Filliat : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01762691
Soumis le : mardi 10 avril 2018-13:19:57
Dernière modification le : vendredi 8 mars 2024-11:54:45
Citer
Nesrine Harrath, Bruno Monsuez. Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction. IJCCBS, 2014, 5 (3/4), pp.268--299. ⟨10.1504/IJCCBS.2014.064666⟩. ⟨hal-01762691⟩
Collections
25
Consultations
0
Téléchargements