2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)
Book title Buchtitel
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)
Publisher Herausgeber
IEEE
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 |