Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

2 Résultats
authFullName_s : Olivier Habart

Modélisation et validation formaelles de propriétés en environnement objet

Olivier Habart
2004
Autre publication scientifique hal-00541393v1

Mise en oeuvre d'observateurs temporisés pour la validation de logiciels temps réel

Philippe Dhaussy , Jean-Charles Roger , Olivier Habart
Neptune'04, 2004, Paris, France
Communication dans un congrès hal-00517293v1