Communication Dans Un Congrès
Année : 2013
David Filliat : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01762692
Soumis le : mardi 10 avril 2018-13:19:59
Dernière modification le : vendredi 19 juillet 2024-11:38:05
Citer
Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui. A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata. Integration of Reusable Systems, 2013, San Francisco, United States. pp.77--104, ⟨10.1007/978-3-319-04717-1_4⟩. ⟨hal-01762692⟩
Collections
58
Consultations
0
Téléchargements