Back to overview

A Taxonomy for Classifying Runtime Verification Tools

Type of publication Peer-reviewed
Publikationsform Proceedings (peer-reviewed)
Author Falcone Yliès, Krstić Srđan, Reger Giles, Traytel Dmitriy,
Project Big Data Monitoring
Show all

Proceedings (peer-reviewed)

Editor , Colombo Christian; , Leucker Martin
Page(s) 241 - 262
ISBN 9783030037680
Title of proceedings Runtime Verification
DOI 10.1007/978-3-030-03769-7_14