Publication

Back to overview

Almost event-rate independent monitoring

Type of publication Peer-reviewed
Publikationsform Original article (peer-reviewed)
Author Basin David A., Bhatt Bhargav Nagaraja, Krstic Srdan, Traytel Dmitriy,
Project Big Data Monitoring
Show all

Original article (peer-reviewed)

Journal Formal Methods Syst. Des.
Publisher Springer Nature, Switzerland
Volume (Issue) 54(3)
Page(s) 449 - 478
Title of proceedings Formal Methods Syst. Des.
DOI 10.1007/s10703-018-00328-3

Open Access

URL https://www.research-collection.ethz.ch/handle/20.500.11850/380024
Type of Open Access Green OA Embargo (Freely available via Repository after an embargo)

-