Jacques Julliand
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Temps réel (informatique)
Test
Vérification
Méthodes formelles
Analyse statique
Programmation parallèle (informatique)
Preuve
Critères de couverture
Logique temporelle
Systèmes temps réel
Automate temporisé
Automate à pile temporisé
Deadline
Mutation
Génération de tests
Abstraction de systèmes
Test logiciel
Sûreté
Systemes reactifs