Le moteur de recherche
des thèses françaises
Yves Ledru
IdRefMots clés
FR |
EN
Méthodes formelles
Méthodes formelles (informatique)
Vérification
Modélisation
UML
Temps réel (informatique)
Ingénierie dirigée par les modèles
Vérification formelle
Logiciels -- Développement
Génération de tests
Information systems
Formal methods
Z
UML (informatique)
B (méthode formelle)
Systèmes embarqués (informatique)
Spécification formelle
Abstraction de systèmes
Test logiciel
Sûreté