Skip to Main content Skip to Navigation
Journal articles

A Modal Interface Theory for Component-based Design

Jean-Baptiste Raclet 1 Eric Badouel 2 Albert Benveniste 2 Benoît Caillaud 2 Axel Legay 2 Roberto Passerone 3
1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
LIG - Laboratoire d'Informatique de Grenoble, Inria Grenoble - Rhône-Alpes
2 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Document type :
Journal articles
Complete list of metadata
Contributor : Benoît Caillaud Connect in order to contact the contributor
Submitted on : Monday, January 10, 2011 - 3:40:40 PM
Last modification on : Thursday, October 21, 2021 - 3:51:39 AM



Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, et al.. A Modal Interface Theory for Component-based Design. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2011, 108 (1-2), pp.119-149. ⟨10.3233/FI-2011-416⟩. ⟨inria-00554283⟩



Record views