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

Author:

S. Magnus

J. Krause

Jahr der Konferenz:

2012

Name der Konferenz:

12. Fachtagung EKA - Entwurf komplexer Automatisierungssysteme, 09.-10.05.2012

Veröffentlichungsdatum:

05/2012

Herausgeber:

Otto-von-Guericke-Universität Magdeburg/ifak

Konferenzort:

Magdeburg

ISBN-Nummer:

978-3-940961-72-3

Google Scholar

Geschäftsfelder:

Verkehr & Assistenz

Institut für Automation und Kommunikation e.V. © 2018. All rights reserved.