1st French Singaporean Workshop on Formal Methods and Applications
Event name
1st French Singaporean Workshop on Formal Methods and Applications
Start date
15-07-2013
End date
16-07-2013
Location
Singapore
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Elshuber, Martin ; Kandl, Susanne ; Puschner, Peter | Improving System-Level Verification of SystemC Models with SPIN | Konferenzbeitrag Inproceedings  | 2013 |