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

Thang Nguyen, Dejan Nickovic (Speaker)

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	FMICS 2014
Pages	16-32
Number of pages	17
Publication status	Published - 2014
Event	19th International Conference, Formal Methods for Industrial Critical Systems 2014 - Duration: 11 Sept 2014 → 12 Sept 2014

Conference	19th International Conference, Formal Methods for Industrial Critical Systems 2014
Period	11/09/14 → 12/09/14

Research Field

@inproceedings{0784152d4608465a8826dd8491f211fa,

title = "Assertion-Based Monitoring in Practice-Checking Correctness of an Automotive Sensor Interface",

author = "Thang Nguyen and Dejan Nickovic",

year = "2014",

language = "English",

isbn = "978-3-319-10701-1",

pages = "16--32",

booktitle = "FMICS 2014",

note = "19th International Conference, Formal Methods for Industrial Critical Systems 2014 ; Conference date: 11-09-2014 Through 12-09-2014",

}

TY - GEN

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

AU - Nguyen, Thang

A2 - Nickovic, Dejan

PY - 2014

Y1 - 2014

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-319-10701-1

SP - 16

EP - 32

BT - FMICS 2014

T2 - 19th International Conference, Formal Methods for Industrial Critical Systems 2014

Y2 - 11 September 2014 through 12 September 2014

ER -