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