1st French Singaporean Workshop on Formal Methods and Applications

Event name
1st French Singaporean Workshop on Formal Methods and Applications
 
Event type
Event for scientific audience
 
Start date
15-07-2013
End date
16-07-2013
 
Location
Singapore
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Elshuber, Martin ; Kandl, Susanne ; Puschner, Peter Improving System-Level Verification of SystemC Models with SPINKonferenzbeitrag Inproceedings 2013