Login / Signup
Jonas Ströbele
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Asynchronous Circuits
Model Checking
Signature Verification
Test Generation
Top Venues
ICTSS
</>
Publications
</>
Stefan Huster
,
Jonas Ströbele
,
Jürgen Ruf
,
Thomas Kropf
,
Wolfgang Rosenstiel
Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques.
ICTSS
(2017)