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