Le moteur de recherche
des thèses françaises
Sophie Pinchinat
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Théorie des jeux
Systèmes informatiques -- Mesures de sûreté
Logique épistémique
Méthodes formelles
Évaluation du risque
Vérification formelle
Vérification de modèles (informatique)
Logique temporelle
Informatique
Traitement réparti
Vérification de modèles
Complexité de calcul (informatique)
Logique mathématique
Sécurité informatique
Représentation des connaissances
Theorie des jeux
Formalisme (mathématiques)
Analyse des risques
Arbres d'attaque