Concepedia

Publication | Open Access

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

DOIFull Paper Access

66

Citations

48

References

2017

Year

Ezio Bartocci, Ylìès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger,
International Journal on Software Tools for Technology Transfer

References

YearCitations

Page 1