 | 2009 |
|---|
| 4 |       | Jean-Baptiste Raclet,
Eric Badouel,
Albert Benveniste,
Benoît Caillaud,
Axel Legay,
Roberto Passerone:
Modal interfaces: unifying interface automata and modal specifications.
EMSOFT 2009: 87-96 |
| 3 | | Nathalie Bertrand,
Axel Legay,
Sophie Pinchinat,
Jean-Baptiste Raclet:
A Compositional Approach on Modal Specifications for Timed Systems.
ICFEM 2009: 679-697 |
| 2 | | Nathalie Bertrand,
Sophie Pinchinat,
Jean-Baptiste Raclet:
Refinement and Consistency of Timed Modal Specifications.
LATA 2009: 152-163 |
| 2008 |
|---|
| 1 | | Jean-Baptiste Raclet:
Residual for Component Specifications.
Electr. Notes Theor. Comput. Sci. 215: 93-110 (2008) |
