Assertion-Based Monitoring in Practice - Checking Correctness of an Automotive Sensor Interface.

Thang Nguyen, Dejan Nickovic

Browse the full FMICS paper archive.