Gilles Motet
IdRefMots clés
FR |
EN
UML (informatique)
Uml
Gestion du risque
Sûreté de fonctionnement
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
Évaluation du risque
Argumentaire de sécurité
Théorie des fonctions de croyance