Le moteur de recherche
des thèses françaises
Ocan Sankur
IdRefMots clés
FR |
EN
Automates temporisés
Temps réel (informatique)
Vérification
Robustesse
Systèmes temps-réel
Automates programmables
Commande robuste
Raffinement d'abstraction
Model-Checking
Méthodes formelles
Vérification de modèles (informatique)
Méthodes formelles (informatique)
CEGAR (algorithme)
Sécurité des systèmes
Planification
Système Multi-Agents
Théorie de la Complexité
Connectivité
Connaissance Incomplète
Traitement réparti