Title |
Formale Überprüfung der Korrektheit von Steuerungen mittels rektangulärer Automaten / Jörg Preussig |
|---|---|
Involved |
Jörg Preußig (Verfasser) |
Published |
Aachen: Shaker |
Extent |
Online-Ressource, 120 Seiten : 39 Abb. |
ISBN |
978-3-8265-7845-8 |
Language |
|
Country |
|
Topic |
|
Subject |
Verfahrenstechnik, Kontinuierliches System, Steuerungssystem, Korrektheit, Zustandsgraph, Automat (Automatentheorie) |
Series |
Schriftenreihe des Lehrstuhls für Anlagensteuerungstechnik ; 2000/4 |
Other editions |
Erscheint auch als Druck-Ausgabe: Formale Überprüfung der Korrektheit von Steuerungen mittels rektangulärer Automaten |
Persistent identifier |
|
Record ID |
1196484465 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: