Almost Event-Rate Independent Monitoring of Metric Dynamic Logic

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

Originalsprog	Engelsk
Titel	Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Redaktører	Shuvendu Lahiri, Giles Reger
Antal sider	18
Forlag	Springer, Cham
Publikationsdato	2017
Sider	85-102
DOI	https://doi.org/10.1007/978-3-319-67531-2_6
Status	Udgivet - 2017
Eksternt udgivet	Ja

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

ID: 245669453

Datalogisk Institut