[IEEE 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Grenoble, France (2020.3.9-2020.3.13)] 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Verification Runtime Analysis: Get the Most Out of Partial Verification
Ring, Martin, Bornebusch, Fritjof, Luth, Christoph, Wille, Robert, Drechsler, RolfYear:
2020
DOI:
10.23919/DATE48585.2020.9116543
File:
PDF, 318 KB
2020