Skip to Main content Skip to Navigation
Journal articles

Composing Heterogeneous Reactive Systems

Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/inria-00555841
Contributor : Benoît Caillaud <>
Submitted on : Friday, January 14, 2011 - 3:05:57 PM
Last modification on : Tuesday, June 15, 2021 - 4:28:08 PM

Identifiers

Citation

Albert Benveniste, Benoît Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Composing Heterogeneous Reactive Systems. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2008, 7 (4, x-editorial-board = yes, x-international-audience = yes), ⟨10.1145/1376804.1376811⟩. ⟨inria-00555841⟩

Share

Metrics

Record views

715