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
Synthèse
Model Checking
Jeux
Synthèse de haut niveau (informatique)
Génie logiciel
Architecture des réseaux d'ordinateurs
Sous-programmes (logiciels)
Intelligence artificielle répartie
Algorithmes
Modèle formel
Abstraction
Systèmes complexes
Véhicules autonomes