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

Thang Nguyen, Dejan Nickovic (Vortragende:r)

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

Originalsprache	Englisch
Titel	FMICS 2014
Seiten	16-32
Seitenumfang	17
Publikationsstatus	Veröffentlicht - 2014
Veranstaltung	19th International Conference, Formal Methods for Industrial Critical Systems 2014 - Dauer: 11 Sept. 2014 → 12 Sept. 2014

Konferenz	19th International Conference, Formal Methods for Industrial Critical Systems 2014
Zeitraum	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 -