Thang Nguyen, Dejan Nickovic. Assertion-based monitoring in practice - Checking correctness of an automotive sensor interface. Science of Computer Programming, 118:40-59, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.