Assertion-based monitoring in practice - Checking correctness of an automotive senor interface

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

Originalsprache	Englisch
Seiten (von - bis)	40-59
Seitenumfang	20
Fachzeitschrift	Science of Computer Programming
Volume	118
DOIs	https://doi.org/10.1016/j.scico.2015.11.002
Publikationsstatus	Veröffentlicht - 2016

Research Field

@article{f4125acac59d49fe884a4f8793d1474c,

title = "Assertion-based monitoring in practice - Checking correctness of an automotive senor interface",

author = "Thang Nguyen and Dejan Nickovic",

year = "2016",

doi = "10.1016/j.scico.2015.11.002",

language = "English",

volume = "118",

pages = "40--59",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

}