Login / Signup
Stefan Mirtl
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Application Scenarios
Open Issues
Lessons Learned
Formal Verification
Top Venues
Elektrotech. Informationstechnik
</>
Publications
</>
Martin Horauer
,
Dominik Widhalm
,
Stefan Tauner
,
Stefan Mirtl
Verification challenges of complex system-on-chip devices.
Elektrotech. Informationstechnik
132 (6) (2015)