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

Thang Nguyen, Dejan Nickovic (Speaker)

    Research output: Chapter in Book or Conference ProceedingsConference Proceedings with Oral Presentationpeer-review

    Original languageEnglish
    Title of host publicationFMICS 2014
    Pages16-32
    Number of pages17
    Publication statusPublished - 2014
    Event19th International Conference, Formal Methods for Industrial Critical Systems 2014 -
    Duration: 11 Sept 201412 Sept 2014

    Conference

    Conference19th International Conference, Formal Methods for Industrial Critical Systems 2014
    Period11/09/1412/09/14

    Research Field

    • Former Research Field - Digital Safety and Security

    Cite this