International Conference on Formal Methods for Industrial Critical Systems (FMICS)

Event name
International Conference on Formal Methods for Industrial Critical Systems (FMICS)
 
Event type
Event for scientific audience
 
Start date
11-09-2014
End date
12-09-2014
 
Location
Florenz
Country
Italy
 
Event format Veranstaltungsformat
On Site

Publications Publikationen



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

PreviewAuthor(s)TitleTypeIssue Date
1Basold, Henning ; Günther, Henning ; Huhn, Michaela ; Milius, Stefan An Open Alternative for SMT-Based Verification of Scade ModelsKonferenzbeitrag Inproceedings 2014