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

View Statistics Email Alert RSS Feed

Description

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

Publications Publikationen

Results 1-1 of 1 (Search time: 0.005 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