Composing Heterogeneous Reactive Systems

Type de document :
Article dans une revue
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2008, 7 (4, x-editorial-board = yes, x-international-audience = yes), 〈10.1145/1376804.1376811〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00555841
Contributeur : Benoît Caillaud <>
Soumis le : vendredi 14 janvier 2011 - 15:05:57
Dernière modification le : jeudi 11 janvier 2018 - 06:20:10

Identifiants

Collections

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〉

Partager

Métriques

Consultations de la notice

259