Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik

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.

Abstract

Abstract is missing.