Modal Interfaces: Unifying Interface Automata and Modal Specifications. - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009
Fichier non déposé

Dates et versions

inria-00555742 , version 1 (14-01-2011)

Identifiants

  • HAL Id : inria-00555742 , version 1

Citer

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. ⟨inria-00555742⟩
118 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More