Sophie Pinchinat
Mots clés
FR |
EN
Méthodes formelles (informatique)
Théorie des jeux
Logique épistémique
Méthodes formelles
Vérification formelle
Vérification de modèles (informatique)
Évaluation du risque
Traitement réparti
Vérification de modèles
Logique mathématique
Sécurité informatique
Systèmes informatiques -- Mesures de sûreté
Représentation des connaissances
Theorie des jeux
Formalisme (mathématiques)
Analyse des risques
Arbres d'attaque
Arbres d'attaque et de défense
Sécurité
Logique temporelle