List of publications about the MICA software
Search Results –> Url version détaillée , Url version formatée
Criteria : Mot clé(s) : “SoftwareMica”
Number of occurrences founded : 3.
Criteria : Mot clé(s) : “SoftwareMica”
Number of occurrences founded : 3.
- titre
- Contracts for System Design
- auteur
- Albert Benveniste, Benoit Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Albert Sangiovanni-Vincentelli, Werner Damm, Thomas Henzinger, Kim G. Larsen
- article
- Now Publishers, 12 (2-3), pp.124-400, 2018, Foundations and Trends® in Electronic Design Automation, 978-1-68083-402-4. ⟨10.1561/1000000053⟩
- titre
- A Modal Interface Theory for Component-based Design
- auteur
- Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone
- article
- Fundamenta Informaticae, 2011, 108 (1-2), pp.119-149. ⟨10.3233/FI-2011-416⟩
- titre
- Modal Interfaces: Unifying Interface Automata and Modal Specifications.
- auteur
- Jean-Baptiste Raclet, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone
- article
- Proc. 9th International Conference on Embedded Software (EMSOFT’09), Oct 2009, Grenoble, France