Mahdi Gueffaz
IdRefMots clés
FR |
EN
Méthodes formelles
Model Checking
Model Checker NuSMV
Model Checker SPIN
Logique temporelle
Requête en logique temporelle (Query Checking)
Web sémantique
Graphe sémantique
Ontologie
RDF\OWL
Logique temporelle LTL
Logique temporelle CTL
Évolution d’ontologie
Incohérence d’ontologie
Vérification de graphes sémantiques
Méthodes formelles (informatique)
Ontologies (informatique)