Neeraj Kumar Singh
IdRefMots clés
FR |
EN
Méthodes formelles
Raffinement et preuve
Raffinement
Méthodes formelles (informatique)
Event-B
Sémantique formelle
Méthode B
Langage HLL
Vérification, Validation
Traduction
Certification
Animation des modèles
PERF
Sémantique (philosophie)
B (méthode formelle)
Systèmes cyber physiques
Preuve
Correct par construction
Simulation par calculateur hybride
Modélisation des données (informatique)