Le moteur de recherche
des thèses françaises
Catalin Dima
IdRefMots clés
FR |
EN
Vérification
Méthodes formelles (informatique)
Verification
Méthodes formelles
Synthèse
Théorie des jeux
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)
Génie logiciel
Architecture des réseaux d'ordinateurs
Sous-programmes (logiciels)