Le moteur de recherche
des thèses françaises
Gwen Salaün
IdRefMots clés
FR |
EN
Services Web
Vérification
Internet des objets
Exécution symbolique
Systèmes informatiques
Traitement réparti
Systèmes autonomes distribués (informatique)
Chorégraphie de services
Service web
Passage de valeurs
Conformité
Projection
Réalisabilité
Test passif
Système de transitions symboliques
Outils
Déclaration de conformité
Résolution de problème
Composants
Adaptation