Full name Familienname, Vorname
Radojicic, Carna
 

Results 1-6 of 6 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Rathmair, Michael ; Schupfer, Florian ; Radojicic, Carna ; Grimm, Christoph Extended Framework for System Simulation with Affine ArithmeticKonferenzbeitrag Inproceedings 2012
2Radojicic, Carna ; Schupfer, Florian ; Rathmair, Michael ; Grimm, Christoph Checking Property Specifications of Analog Systems with Affine ArithmeticKonferenzbeitrag Inproceedings 2012
3Radojicic, Carna ; Schupfer, Florian ; Rathmair, Michael ; Grimm, Christoph Assertion-based Verification of Signal Processing Systems with Affine ArithmeticKonferenzbeitrag Inproceedings 2012
4Schupfer, Florian ; Radojicic, Carna ; Wenninger, Joseph Gernot Otto ; Grimm, Christoph System Refinement Design Flow based on Semi-Symbolic SimulationsKonferenzbeitrag Inproceedings 2011
5Radojicic, Carna ; Schupfer, Florian ; Grimm, Christoph Semi-symbolic Analysis of Analog and Signal Processing SystemsPräsentation Presentation2011
6Schupfer, Florian ; Svarc, Markus ; Radojicic, Carna ; Grimm, Christoph A Range Based System Simulation and Refinement Design FlowKonferenzbeitrag Inproceedings2011