Almost Event-Rate Independent Monitoring of Metric Dynamic Logic

Metadata only

Author

Date

2017

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Book title

Runtime Verification

Journal / series

Lecture Notes in Computer Science

Volume

10548

Pages / Article No.

85 - 102

Publisher

Springer

Event

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

Organisational unit

03634 - Basin, David / Basin, David

More

ETH Bibliography

yes

Altmetrics

Research Collection