Yliès Carlo Falcone
IdRefMots clés
FR |
EN
Vérification à l’exécution
Méthodes formelles
Monitoring
Debugging
Property
Débogueurs
Systèmes concurrents et distribués
Sémantique dénotationnelle et opérationnelle
Réécriture de terme
Analyse de logs distribués
Observation partielle
Exécution symbolique
Traitement réparti
Sémantique opérationnelle
Parallélisme (informatique)
Monitoring décentralisé
Spécifications décentralisées
Programmes parallèles
Habitats intelligents
Domotique