|
 
|
[Har14] A Stepwise Compositional Approach to Model and Analyze SystemC Designs at teh Transactional Level and the Delta Cycle Level
Mémoire de Thèse : Soutenue le: 04 November 2014, pp. 183, pp.: Directeur: Kamel BarkaouiCodirecteur: Bruno Monsuez
Rapporteur 1:Alain Mérigot
Rapporteur 2: Mohamed Shawky
Membre du jury: Christophe Vedrine
Membre du jury:Bouzefrance Samia
Membre du jury: Zhiwu Li, : A Stepwise Compositional Approach to Model and Analyze SystemC Designs at teh Transactional Level and the Delta Cycle Level,
Mots clés: SystemC, Méthodes Formelles, Automates, Exécution Symbolique, Abstraction des prédicats, Sémantiques des langages, Model Checking.
Résumé:
à Télécharger
Equipe:
sys
BibTeX
| @phdthesis { | |||
| Har14, | |||
| title | = | "{A Stepwise Compositional Approach to Model and Analyze SystemC Designs at teh Transactional Level and the Delta Cycle Level}", | |
| author | = | "N. Harrath", | |
| year | = | 2014, | |
| pages | = | "183", | |
| address | = | "{CEDRIC Laboratory, Paris, France}", | |
| note | = | "{ Directeur: Kamel Barkaoui Codirecteur: Bruno Monsuez Rapporteur 1:Alain Mérigot Rapporteur 2: Mohamed Shawky Membre du jury: Christophe Vedrine Membre du jury:Bouzefrance Samia Membre du jury: Zhiwu Li}", | |
| } |
