The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems

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

Originalsprache	Englisch
Titel	Runtime Verificiation - 16th International Conference, RV 2016
Seiten	201-218
Seitenumfang	18
Publikationsstatus	Veröffentlicht - 2016
Veranstaltung	Runtime Verification - 16th International Conference, 2016 - Dauer: 23 Sept. 2016 → 30 Sept. 2016

Konferenz	Runtime Verification - 16th International Conference, 2016
Zeitraum	23/09/16 → 30/09/16

Research Field

@inproceedings{3cd698fc65f749aeb18907acee36d684,

title = "The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems",

author = "Stefan Jaksic and Ezio Bartocci and Radu Grosu and Dejan Nickovic",

year = "2016",

language = "English",

isbn = "978-3-319-46981-2",

pages = "201--218",

booktitle = "Runtime Verificiation - 16th International Conference, RV 2016",

note = "Runtime Verification - 16th International Conference, 2016 ; Conference date: 23-09-2016 Through 30-09-2016",

}

TY - GEN

T1 - The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems

AU - Bartocci, Ezio

AU - Grosu, Radu

AU - Nickovic, Dejan

A2 - Jaksic, Stefan

PY - 2016

Y1 - 2016

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-319-46981-2

SP - 201

EP - 218

BT - Runtime Verificiation - 16th International Conference, RV 2016

T2 - Runtime Verification - 16th International Conference, 2016

Y2 - 23 September 2016 through 30 September 2016

ER -