Le moteur de recherche
des thèses françaises
Virginie Wiels
IdRefMots clés
FR |
EN
Méthodes formelles
Systèmes embarqués (informatique)
Logiciels -- Vérification
Méthodes formelles (informatique)
Systèmes à base de composants
Modèle de traces
Opérateurs d’intégration
Dynamique holomorphe
Vérification et validation
Logique temporelle
Système embarqué
Informatique
Interprétation abstraite
Systèmes de commande (vol)
Model-checking
Vérification de programmes
Test unitaire
Preuve de programmes
Combinaison d'analyse
Couverture de code