| |
| 2000 | ||
|---|---|---|
| 1 | 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) | |
| 1 | Gérard Berry | [1] |
| 2 | Amar Bouali | [1] |
| 3 | Xavier Fornari | [1] |
| 4 | Eric Nassor | [1] |
| 5 | Robert de Simone | [1] |