| |
| 2000 | ||
|---|---|---|
| 2 | F. Boutet, E. Choveau, G. Rieux, Y. Lejeune: Scheduling in SDL Simulation. Application to Future Air Navigation Systems. SAM 2000: 320-332 | |
| 1993 | ||
| 1 | B. Algayres, V. Coelho, L. Doldi, Hubert Garavel, Y. Lejeune, C. Rodríguez: VESAR: A Pragmatic Approach to Formal Specification and Verification. Computer Networks and ISDN Systems 25(7): 779-790 (1993) | |
| 1 | B. Algayres | [1] |
| 2 | F. Boutet | [2] |
| 3 | E. Choveau | [2] |
| 4 | V. Coelho | [1] |
| 5 | L. Doldi | [1] |
| 6 | Hubert Garavel | [1] |
| 7 | G. Rieux | [2] |
| 8 | C. Rodríguez | [1] |