Fabrice Bouquet
Mots clés
FR |
EN
Collaboration
Sécurité
Internet des objets
Tests
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
Pouveur SMT
Paralellisation
Stratégies de génération de tests
Solveurs (logiciels)
Framework de simulation