Merdin Macic

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Formal Verification

Wavelet Neural Network

Software Reliability

Top Venues

Publications

Stefan Huster, Merdin Macic, Sebastian Burg, Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Increasing Software Reliability by Integrating Formal Verification and Robustness Testing. MBMV (2014)