ISSTA 2017 (series) / Antoine El-Hokayem
Not registered as user yet
Name: Antoine El-Hokayem
Affiliation: Grenoble Alpes University, France / Inria, France / CNRS, France
Contributions
ISSTA 2017 | Monitoring Decentralized Specifications THEMIS: A Tool for Decentralized Monitoring Algorithms | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ISSTA 2017-profile
View general profile
View general profile