Philippe Dague
IdRefMots clés
FR |
EN
Diagnostic
Diagnosticabilité
Vérification de modèles (informatique)
Systèmes échantillonnés
Traitement réparti
Exécution symbolique
Services Web
Solveurs (logiciels)
Logique propositionnelle
Représentation des connaissances
Model checking
Chemins et cycles (théorie des graphes)
Systèmes dynamiques hybrides
Logiciels -- Vérification
Ingénierie dirigée par les modèles
Méthodes formelles
Méthodes formelles (informatique)
Pile ou face quantique
Mise-en-gage quantique
Transmission inconsciente quantique