Le moteur de recherche
des thèses françaises
Michel Batteux
IdRefMots clés
FR |
EN
Fiabilité
AltaRica
Sûreté de fonctionnement
Ingénierie des systèmes
MBSA
Cybersécurité
Modèle formel
Diagnostic
Diagnosticabilité
Système technologique piloté
Modélisation de défauts
Détection de défaut (ingénierie)
Uml
Machines d'états
Vérification
Développement incrémental
Systèmes critiques
Assemblage de composants
UML (informatique)
Vérification de modèles (informatique)