External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin. The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. Volume 9953 of Lecture Notes in Computer Science, pages 371-379, 2016. [doi]

Authors

Thang Nguyen

This author has not been identified. Look up 'Thang Nguyen' in Google

Ezio Bartocci

This author has not been identified. Look up 'Ezio Bartocci' in Google

Dejan Nickovic

This author has not been identified. Look up 'Dejan Nickovic' in Google

Radu Grosu

This author has not been identified. Look up 'Radu Grosu' in Google

Stefan Jaksic

This author has not been identified. Look up 'Stefan Jaksic' in Google

Konstantin Selyunin

This author has not been identified. Look up 'Konstantin Selyunin' in Google
runs on