Forum on specification & Design Languages , FDL 2012

Event name
Forum on specification & Design Languages , FDL 2012
 
Start date
18-09-2012
End date
20-09-2012
 
Location
Wien
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen



Filter:
Author:  Radojicic, Carna

Results 1-2 of 2 (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
2Rathmair, Michael ; Schupfer, Florian ; Radojicic, Carna ; Grimm, Christoph Extended Framework for System Simulation with Affine ArithmeticKonferenzbeitrag Inproceedings 2012