Antoine Rollet
Mots clés
FR |
EN
Méthodes formelles
Automates temporisés
Logiciels -- Validation
Test
Méthodes formelles (informatique)
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
Systèmes de Transition Symbolique Temporisé avec des Entrées et Sorties