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
Type de document :
Article dans une revue
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2011, 108 (1-2), pp.119-149. 〈10.3233/FI-2011-416〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00554283
Contributeur : Benoît Caillaud <>
Soumis le : lundi 10 janvier 2011 - 15:40:40
Dernière modification le : jeudi 11 janvier 2018 - 06:22:03

Identifiants

Collections

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〉

Partager

Métriques

Consultations de la notice

659