Design and Verification Conference and Exhibition
Event name
Design and Verification Conference and Exhibition
Start date
29-02-2016
End date
03-03-2016
Location
San Jose, USA
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Selyunin, Konstantin ; Nguyen, Thang ; Basa, Andrei-Daniel ; Bartocci, Ezio ; Nickovic, Dejan ; Grosu, Radu | Applying High-Level Synthesis for Synthesizing Hardware Runtime STL Monitors of Mission-Critical Properties | Konferenzbeitrag Inproceedings  | 2016 |