Martin Oberkönig, Martin Schickel, Hans Eveking. Quantitative Qualitätsaussagen über Testbenches mittels formaler Eigenschaften. In Carsten Gremzow, Nico Moser, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009. pages 17-26, Universitätsbibliothek Berlin, Germany, 2009.
No references recorded for this publication.
No citations of this publication recorded.