Publikationen

Kombinierung constraintbasierter Methoden und Petrinetztechniken zur Modellverifizierung offener, diskreter und reaktiver Systeme

Author:
S. Magnus
J. Krause
Year of Conference:
2012
Conference Name:
12. Fachtagung EKA - Entwurf komplexer Automatisierungssysteme, 09.-10.05.2012
Date Published:
05/2012
Publisher:
Otto-von-Guericke-Universität Magdeburg/ifak
Conference Location:
Magdeburg
ISBN Number:
978-3-940961-72-3
Geschäftsfelder:
Transport & Assistance
Institut für Automation und Kommunikation e.V. © 2018. All rights reserved.