Le moteur de recherche
des thèses françaises
Maâmar El-Amine Hamri
IdRefMots clés
FR |
EN
Méthodes de simulation
Simulation par ordinateur
Simulation à événements discrets
Modélisation et Simulation
Modélisation des données (informatique)
Processus métier
Vérification et validation
Model-Checking
Apprentissage automatique
Vérification de modèles (informatique)
Semiconducteurs
Modélisation
Vérification et Validation
Systèmes à Evènements Discrets
Méthodes Formelles
Systèmes temporisés
Promela
DEv-PROMELA
Systèmes informatiques
Systèmes échantillonnés