Gwen Salaün
IdRefMots clés
FR |
EN
Vérification
Internet des objets
Services Web
Exécution symbolique
Traitement réparti
Systèmes informatiques
Méthodes formelles (informatique)
Surveillance
Automates communicants
Synchronisabilité
Diagrammes de séquences
Systèmes autonomes distribués (informatique)
Transmission synchrone
Systèmes concurrents et distribués
Sémantique dénotationnelle et opérationnelle
Réécriture de terme
Analyse de logs distribués
Observation partielle
Sémantique opérationnelle
Parallélisme (informatique)