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
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
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
Liste complète des métadonnées

https://hal.inria.fr/inria-00554283
Contributor : Benoît Caillaud <>
Submitted on : Monday, January 10, 2011 - 3:40:40 PM
Last modification on : Saturday, December 15, 2018 - 1:49:27 AM

Identifiers

Citation

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⟩

Share

Metrics

Record views

1046