![]() | ![]() |
2003 | ||
---|---|---|
1 | EE | Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert: Towards the verification of real-time systems in avionics: the Cotre approach. Electr. Notes Theor. Comput. Sci. 80: (2003) |
1 | Bernard Berthomieu | [1] |
2 | Jean-Paul Bodeveix | [1] |
3 | Pierre Dissaux | [1] |
4 | Patrick Farail | [1] |
5 | Jean-Marie Farines | [1] |
6 | Mamoun Filali | [1] |
7 | Pierre Gauffilet | [1] |
8 | Jean-Luc Lambert | [1] |
9 | Pierre Michel | [1] |
10 | Gérard Padiou | [1] |
11 | Pierre-Olivier Ribet | [1] |
12 | François Vernadat | [1] |