Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Antoine El-Hokayem
conf.researchr.org general profile
ISSTA 2017 profile
Not registered as user yet
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
Thu 21 Nov 16:24