Modulare Verifikation von Non-Mainline Chip-Level Funktionen - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matteo Michel, Johannes Koesters, Benedikt Geukes. Modulare Verifikation von Non-Mainline Chip-Level Funktionen. In Ulrich Heinkel, Daniel Kriesten, Marko Rößler, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4, 2015. pages 14-19, Sächsische Landesbibliothek, 2015.

This author has not been identified. Look up 'Matteo Michel' in GoogleThis author has not been identified. Look up 'Johannes Koesters' in GoogleThis author has not been identified. Look up 'Benedikt Geukes' in Google

runs on WebDSL