Modal Interfaces: Unifying Interface Automata and Modal Specifications.

Jean-Baptiste Raclet 1 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 :
Communication dans un congrès
Proc. 9th International Conference on Embedded Software (EMSOFT'09), Oct 2009, Grenoble, France. IEEE, 2009
Liste complète des métadonnées

https://hal.inria.fr/inria-00555742
Contributeur : Benoît Caillaud <>
Soumis le : vendredi 14 janvier 2011 - 12:54:12
Dernière modification le : mercredi 16 mai 2018 - 11:23:05

Identifiants

  • HAL Id : inria-00555742, version 1

Citation

Jean-Baptiste Raclet, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone. Modal Interfaces: Unifying Interface Automata and Modal Specifications.. Proc. 9th International Conference on Embedded Software (EMSOFT'09), Oct 2009, Grenoble, France. IEEE, 2009. 〈inria-00555742〉

Partager

Métriques

Consultations de la notice

346