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

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

Original language	English
Title of host publication	Runtime Verificiation - 16th International Conference, RV 2016
Pages	201-218
Number of pages	18
Publication status	Published - 2016
Event	Runtime Verification - 16th International Conference, 2016 - Duration: 23 Sept 2016 → 30 Sept 2016

Conference	Runtime Verification - 16th International Conference, 2016
Period	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 -