Modeling Unknown Values in Test and Verification

Bernd Becker, Matthias Sauer, Christoph Scholl, Ralf Wimmer. Modeling Unknown Values in Test and Verification. In Rolf Drechsler, Ulrich K├╝hne, editors, Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015. pages 122-150, Springer, 2015. [doi]

Abstract

Abstract is missing.