Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Antoine El-Hokayem
conf.researchr.org general profile
ISSTA 2017 profile
Not registered as user
Name:
Antoine El-Hokayem
Affiliation:
Grenoble Alpes University, France / Inria, France / CNRS, France
Contributions
2017
ISSTA
Author of Monitoring Decentralized Specifications within the Technical Papers-track
Author of THEMIS: A Tool for Decentralized Monitoring Algorithms within the Demonstrations-track
Share
x
Sun 22 Dec 04:07