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

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	40-59
Number of pages	20
Journal	Science of Computer Programming
Volume	118
DOIs	https://doi.org/10.1016/j.scico.2015.11.002
Publication status	Published - 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 BV",

}