Proceedings of the 2012 forum on specification and design languages (FDL 2012)

Book title Buchtitel
Proceedings of the 2012 forum on specification and design languages (FDL 2012)
 

Publications Publikationen



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

PreviewAuthor(s)TitleTypeIssue Date
1Radojicic, Carna ; Schupfer, Florian ; Rathmair, Michael ; Grimm, Christoph Assertion-based Verification of Signal Processing Systems with Affine ArithmeticKonferenzbeitrag Inproceedings 2012