13th ACM-IEEE International Conference on Formal Methods and Models for System Design
Event name
13th ACM-IEEE International Conference on Formal Methods and Models for System Design
Start date
21-09-2015
End date
23-09-2015
Location
Austin, TX, 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 | Jaksic, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Kloibhofer, Reinhard ; Nguyen, Thang ; Nickovic, Dejan | From signal temporal logic to FPGA monitors | Konferenzbeitrag Inproceedings  | 2015 |