|
 
|
[HM13a] Compositional Reactive Semantics of System-Level Designs Written in SystemC and Formal Verification with Predicate Abstraction
Revue Internationale avec comité de lecture : Journal the International Journal of Critical Computer-Based Systems, Inderscience Publishers, 2013
motcle:
Equipe:
sys
BibTeX
| @article { | |||
| HM13a, | |||
| title | = | "{ Compositional Reactive Semantics of System-Level Designs Written in SystemC and Formal Verification with Predicate Abstraction}", | |
| author | = | "N. Harrath and B. Monsuez", | |
| journal | = | "the International Journal of Critical Computer-Based Systems, Inderscience Publishers", | |
| year | = | 2013, | |
| } | |||
