Fingerprint Dive into the research topics of 'First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014'. Together they form a unique fingerprint.
- Sort by
- Weight
- Alphabetically
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang
Research output: Contribution to journal › Article › peer-review