Journal Articles
IJCCBS
Year : 2014
David Filliat : Connect in order to contact the contributor
https://hal.science/hal-01762691
Submitted on : Tuesday, April 10, 2018-1:19:57 PM
Last modification on : Wednesday, September 28, 2022-5:52:38 AM
Cite
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
23
View
0
Download