Formaler Steuerungsentwurf mit modularen diskreten Verhaltensmodellen

Hallenser Schriften zur Automatisierungstechnik, Bd. 1

Arndt Lüder
ISBN 978-3-89722-506-0
156 Seiten, Erscheinungsjahr: 2000
Preis: 40.50 EUR

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

Exemplar(e)