Le moteur de recherche
des thèses françaises
Gilles Motet
IdRefMots clés
FR |
EN
UML (informatique)
Uml
Gestion du risque
Sûreté de fonctionnement
Fiabilité
Sécurité fonctionnelle
Systemes de contrôle
Monitoring de modèle
Génération de modèle
Model checking
Langage formel
Automate
Grammaire
Réécriture
Contrôle supervisé
Systèmes informatiques -- Mesures de sûreté
Langages formels
Théorie des automates mathématiques
Cuture de sécurité
Climat de sécurité