Almost Event-Rate Independent Monitoring

David Basin, Bhargav Bhatt, Sran Krstić, Dmitriy Traytel

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

11 Citationer (Scopus)

Originalsprog	Engelsk
Tidsskrift	Formal Methods in System Design
Vol/bind	54
Udgave nummer	3
Sider (fra-til)	449-478
Antal sider	30
ISSN	0925-9856
DOI	https://doi.org/10.1007/s10703-018-00328-3
Status	Udgivet - 2019
Udgivet eksternt	Ja

Adgang til dokumentet

@article{994a23e53c3f49b2bb0da68b3cadb021,

title = "Almost Event-Rate Independent Monitoring",

author = "David Basin and Bhargav Bhatt and Sran Krsti{\'c} and Dmitriy Traytel",

year = "2019",

doi = "10.1007/s10703-018-00328-3",

language = "English",

volume = "54",

pages = "449--478",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer Netherlands",

number = "3",

}