Sylvain Rampacek
IdRefMots clés
FR |
EN
Web sémantique
Automates temporisés, Chorégraphie, Modèle, Interaction, Systèmes de transitions, Algèbre de processus
Services Web
Méthodes formelles
Model Checking
Model Checker NuSMV
Model Checker SPIN
Logique temporelle
Requête en logique temporelle (Query Checking)
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)