RV-CuBES 2017, An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools. Online resource

Reger, G.2022-03-022022-03-022017https://publica.fraunhofer.de/handle/publica/162197RV-CuBES 2017, An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools. Online resource