Quantitative Qualitätsaussagen über Testbenches mittels formaler Eigenschaften - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Martin Oberkönig' in GoogleThis author has not been identified. Look up 'Martin Schickel' in GoogleThis author has not been identified. Look up 'Hans Eveking' in Google

runs on WebDSL