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)
Results 1-1 of 1 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Radojicic, Carna ; Schupfer, Florian ; Rathmair, Michael ; Grimm, Christoph | Assertion-based Verification of Signal Processing Systems with Affine Arithmetic | Konferenzbeitrag Inproceedings ![]() | 2012 |