Publications de
Bernard Berthomieu, P.-O. Ribet, François Vernadat, J.-L. Bernartt, J.-M. Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gaufillet, Pierre Dissaux, Jean-Luc Lambert
Towards the verification of real-time systems in avionics: TheCotre approach
Dans : Eigth International workshop for industrial critical systems, ROROS, 05/06/03-07/06/03, Thomas Arts, Wan Fokkink, p. 201-216, juin 2003.
Accès : http://www.elsevier.nl/locate/entcs/volume80.html
BibTeX