Le moteur de recherche
des thèses françaises
Fabrice Bouquet
IdRefMots clés
FR |
EN
Collaboration
Logiciels -- Validation
Sécurité
Internet des objets
Génie logiciel
Tests
Intelligence artificielle
Validation
Logiciels -- Essais
Validation de système embarqués
Génération de tests à partir de modèles
UML/Sys ML
Critères de couverture
Transformation de modèles
Chaine outillée
Commande automatique
Génération de tests à partir de modèles,
UML
OCL
Solveur CSP