Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jürgen Haufe, Ulrich Donath, Eva Fordran, Thomas Klotz, Bernd Straube. Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik. 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 197-206, Universitätsbibliothek Berlin, Germany, 2009.

This author has not been identified. Look up 'Jürgen Haufe' in GoogleThis author has not been identified. Look up 'Ulrich Donath' in GoogleThis author has not been identified. Look up 'Eva Fordran' in GoogleThis author has not been identified. Look up 'Thomas Klotz' in GoogleThis author has not been identified. Look up 'Bernd Straube' in Google

runs on WebDSL