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 |