Accès à distance ? S'identifier sur le proxy UCLouvain
Modal Interfaces: Unifying Interface Automata and Modal Specifications.
Primary tabs
| Document type | Communication à un colloque (Conference Paper) |
|---|---|
| Publication date | 2009 |
| Language | Anglais |
| Conference | "Proc. 9th International Conference on Embedded Software (EMSOFT'09)" (12/10/2009) |
| Links |
| Bibliographic reference | Raclet, Jean-Baptiste ; Benveniste, Albert ; Caillaud, Benoît ; Legay, Axel ; Passerone, Roberto. Modal Interfaces: Unifying Interface Automata and Modal Specifications..Proc. 9th International Conference on Embedded Software (EMSOFT'09) (12/10/2009). |
|---|---|
| Permanent URL | https://hdl.handle.net/2078.1/210480 |