| |
| 2000 | ||
|---|---|---|
| 3 | Gérard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, Robert de Simone: ESTEREL: a formal method applied to avionic software development. Sci. Comput. Program. 36(1): 5-25 (2000) | |
| 1999 | ||
| 2 | EE | Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor: Cronos: A Separate Compilation Toolset for Modular Esterel Applications. World Congress on Formal Methods 1999: 1836-1853 |
| 1992 | ||
| 1 | Eric Nassor, Guy Vidal-Naquet: Suitability of the Propositional Temporal Logic to Express Properties of Real-Time Systems. STACS 1992: 59-70 | |
| 1 | Gérard Berry | [3] |
| 2 | Yann Le Biannic | [2] |
| 3 | Amar Bouali | [3] |
| 4 | Xavier Fornari | [3] |
| 5 | Olivier Hainque | [2] |
| 6 | Emmanuel Ledinot | [3] |
| 7 | Laurent Pautet | [2] |
| 8 | Robert de Simone | [3] |
| 9 | Guy Vidal-Naquet | [1] |