Almost Event-Rate Independent Monitoring of Metric Dynamic Logic

Metadata only

Autor(in)

Datum

2017

Typ

Conference Paper

ETH Bibliographie

yes

Altmetrics

Publikationsstatus

published

Externe Links

Herausgeber(in)

Buchtitel

Runtime Verification

Zeitschrift / Serie

Lecture Notes in Computer Science

Band

10548

Seiten / Artikelnummer

85 - 102

Verlag

Springer International Publishing

Konferenz

17th International Conference on Runtime Verification (RV), Seattle, WA, USA, September 13-16, 2017

Organisationseinheit

03634 - Basin, David / Basin, David

Mehr

ETH Bibliographie

yes

Altmetrics

Research Collection