Formaler Steuerungsentwurf mit modularen diskreten Verhaltensmodellen

Hallenser Schriften zur Automatisierungstechnik, Bd. 1

Arndt Lüder
ISBN 978-3-89722-506-0
156 pages, year of publication: 2000
price: 40.50 EUR

Stichworte/keywords: Formaler Steuerungsentwurf , Condition/Event-System , Petri Netz , Steuerungssynthese , Steuerungsverifikation

copy(s)