Le moteur de recherche
des thèses françaises
Oleg Sokolsky
IdRefMots clés
FR |
EN
Causalité
Temps réel (informatique)
Méthodes formelles
Sûreté de fonctionnement
Diagnostic
Localisation de fautes
Théorie des jeux
Informatique -- Procédures de secours
Distribué
Temps-Réel
Systèmes embaqués
Automates temporisés
Verification
Systèmes embarqués (informatique)
Explications
Systèmes temps réel
Commande robuste