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
 
Event type
Event for scientific audience
 
Start date
21-09-2015
End date
23-09-2015
 
Location
Austin, TX, USA
Austin, TX, USA
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Jaksic, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Kloibhofer, Reinhard ; Nguyen, Thang ; Nickovic, Dejan From signal temporal logic to FPGA monitorsKonferenzbeitrag Inproceedings 2015