Nikolai Kirillovich Kossovski
Mots clés
FR |
EN
Temps réel (informatique)
Logique du premier ordre
Machines à états abstraits
Langage de spécification exécutable
Simulation
Spécification formelle
Vérification
Model-checking
Systèmes à temps réel
Logique des prédicats du premier ordre
Langages de programmation
Logiciels -- Vérification
Programmation heuristique