Communication Dans Un Congrès
Année : 2009
Benoît Caillaud : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00555742
Soumis le : vendredi 14 janvier 2011-12:54:12
Dernière modification le : jeudi 4 avril 2024-21:00:08
Dates et versions
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⟩
Collections
141
Consultations
0
Téléchargements