Nawal Guermouche
Mots clés
FR |
EN
Internet des objets
Internet des Objets
Approche orientée service
Informatique autonomique
Web sémantique
Grammaire de graphes
Qualité de service
Qualité de Service (télécommunications)
Services Web temporisés
Composition de services Web
Propriétés temporelles
Protocoles de conversations temporisées asynchrones
Analyse de compatibilité temporisée
Chorégraphie de services Web
SOA
Services Web
Systèmes machine-to-machine
Contraintes temporisées
Automates temporisées
Model checking