Antoine El-Hokayem. Runtime Verification of Hierarchical Decentralized Specifications. (Vérification à l'exécution de spécifications décentralisées hiérarchiques). PhD thesis, Grenoble Alpes University, France, 2018. [doi]
@phdthesis{hal-12300,
title = {Runtime Verification of Hierarchical Decentralized Specifications. (Vérification à l'exécution de spécifications décentralisées hiérarchiques)},
author = {Antoine El-Hokayem},
year = {2018},
url = {https://tel.archives-ouvertes.fr/tel-02119348},
researchr = {https://researchr.org/publication/hal-12300},
cites = {0},
citedby = {0},
school = {Grenoble Alpes University, France},
}