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

Sorry, there's nothing here.

Topics

Statistics

020406080201520162017
Citations per Year

Citation Velocity: 13

Averaging 13 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Cite this paper

@article{Nguyen2014AssertionBasedMI, title={Assertion-Based Monitoring in Practice - Checking Correctness of an Automotive Sensor Interface}, author={Thang Nguyen and Dejan Nickovic}, journal={Sci. Comput. Program.}, year={2014}, volume={118}, pages={40-59} }