Le moteur de recherche
des thèses françaises
Vincent Albert
IdRefMots clés
FR |
EN
Simulation
Cadre expérimental
Systèmes embarqués (informatique)
Simulation, Méthodes de
Modélisation
Validité
Abstractions
Fiabilité
Validation
Modèle
Abstraction
Systèmes complexes
Vérification et Validation
Modélisation et Simulation
Systèmes à Evènements Discrets
Méthodes Formelles
Systèmes temporisés
Promela
DEv-PROMELA
Systèmes informatiques