Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4, 2015 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. Sächsische Landesbibliothek, 2015.

Conference: mbmv2015

This author has not been identified. Look up 'Ulrich Heinkel' in GoogleThis author has not been identified. Look up 'Daniel Kriesten' in GoogleThis author has not been identified. Look up 'Marko Rößler' in Google

runs on WebDSL