A Taxonomy for Classifying Runtime Verification Tools

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Originalsprog	Engelsk
Titel	Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Redaktører	Christian Colombo, Martin Leucker
Antal sider	22
Forlag	Springer
Publikationsdato	2018
Sider	241-262
DOI	https://doi.org/10.1007/978-3-030-03769-7_14
Status	Udgivet - 2018
Eksternt udgivet	Ja

Navn	LNCS

Navn	Lecture Notes in Computer Science
Vol/bind	11237
ISSN	0302-9743

ID: 245669659

Datalogisk Institut