Filtrer vos résultats
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
|
|
triés par
|
Modélisation et validation formaelles de propriétés en environnement objet2004
Autre publication scientifique
hal-00541393v1
|
|||
Mise en oeuvre d'observateurs temporisés pour la validation de logiciels temps réelNeptune'04, 2004, Paris, France
Communication dans un congrès
hal-00517293v1
|