Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
Book title Buchtitel
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
Publisher Herausgeber
Springer International Publishing
Place of publishing Erscheinungsort
9952
Series Schriftenreihe
Lecture Notes in Computer Science
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Bartocci, Ezio ; Falcone, Ylies | Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction) | Konferenzbeitrag Inproceedings | 2016 | |
| 2 | Nguyen, Thang ; Bartocci, Ezio ; Ničković, Dejan ; Grosu, Radu ; Jaksic, Stefan ; Selyunin, Konstantin | The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems | Konferenzbeitrag Inproceedings | 2016 |