Le moteur de recherche
des thèses françaises
Antoine Rollet
IdRefMots clés
FR |
EN
Méthodes formelles
Méthodes formelles (informatique)
Automates temporisés
Logiciels -- Validation
Logiciels -- Vérification
Test
Critères de couverture
Systèmes autonomes
Validation
Systèmes à composants
Systèmes adaptatifs
Systèmes adaptatifs (technologie)
Méthodes de test basées sur les modèles
Modèles formels
Testing
Réseaux logiciels (SDN)
SDN (architecture des réseaux d'ordinateurs)
Ingénierie dirigée par les modèles
Systèmes distribués
Test à base de modèles