A Taxonomy for Classifying Runtime Verification Tools

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Editors	Christian Colombo, Martin Leucker
Number of pages	22
Publisher	Springer
Publication date	2018
Pages	241-262
DOIs	https://doi.org/10.1007/978-3-030-03769-7_14
Publication status	Published - 2018
Externally published	Yes

Series	LNCS

Series	Lecture Notes in Computer Science
Volume	11237
ISSN	0302-9743

ID: 245669659

Department of Computer Science