Le moteur de recherche
des thèses françaises
Catalin Dima
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Vérification
Verification
Méthodes formelles
Vérification formelle
Synthèse
Simulation par ordinateur
Théorie des jeux
Systèmes informatiques -- Mesures de sûreté
Protection de l'information (informatique)
Algorithmes
Systèmes d'information
Algèbre de processus
Model-Checking
Techniques d'Abstraction
Commande de processus
Traduction automatique
Model Checking
Jeux
Synthèse de haut niveau (informatique)