Talks and Poster Presentations (with Proceedings-Entry):
T. Nguyen, E. Bartocci, D. Nickovic, R. Grosu, S. Jaksic, K. Selyunin:
"The HARMONIA project: Hardware Monitoring for Automotive Systems-of-Systems";
Talk: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I,
Corfú, Greece (invited);
2016-10-10
- 2016-10-14; in: "Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I",
Springer International Publishing,
9952
(2016),
ISBN: 978-3-319-47166-2;
371
- 379.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-47169-3_28