Le moteur de recherche
des thèses françaises
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
Approximation, Théorie de l'
Dsml
Sémantique opérationnelle
Simulation
Propriété formelle
Vérification de propriété
Mbse
Ingénierie des systèmes
Logiciels -- Développement
Langages dédiés
Langages dédiés (informatique)
Générateurs (logiciels)
Automate
Système embarqué critique