Catalin Dima
IdRefMots clés
FR |
EN
Vérification
Méthodes formelles (informatique)
Verification
Méthodes formelles
Théorie des jeux
Protection de l'information (informatique)
Vérification formelle
Intelligence artificielle répartie
Synthèse
Model Checking
Jeux
Synthèse de haut niveau (informatique)
Génie logiciel
Architecture des réseaux d'ordinateurs
Sous-programmes (logiciels)
Algorithmes
Systèmes d'information
Algèbre de processus
Model-Checking
Techniques d'Abstraction