| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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 | | 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] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page