1st French Singaporean Workshop on Formal Methods and Applications

Book title Buchtitel
1st French Singaporean Workshop on Formal Methods and Applications
 
ISBN
978-3-939897-56-9
 
Editor Herausgeber_in
 
Publisher Herausgeber
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
 
Place of publishing Erscheinungsort
Dagstuhl
 

Publications Publikationen

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

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