Nassim Benharrat
IdRefMots clés
FR |
EN
Test Distribué Temporisé
Test à base de Modèles
Test à base de Contraintes
Problème de Satisfaction de Contraintes
Systèmes de Transition Symboliques Temporisés à Entrée Sortie
Test Off-line
Tests fonctionnels (informatique)
Ingénierie dirigée par les modèles
Vérification de modèles (informatique)
Analyse des systèmes
Oracle (système informatique)