Benoît Combemale
IdRefMots clés
FR |
EN
Génie logiciel
Ingénierie dirigée par les modèles
Méthodes formelles (informatique)
Vérification formelle
Vérification et validation
Réutilisation
Dsml
Sémantique opérationnelle
Simulation
Propriété formelle
Vérification de propriété
Mbse
Ingénierie des systèmes
Générateurs (logiciels)
Langages dédiés
Langages dédiés (informatique)
Approximation, Théorie de l'
Automate
Système embarqué critique
Compilation