Umfang:
IX, 147 S.
,
graph. Darst.
ISBN:
3897225069
Serie:
Hallenser Schriften zur Automatisierungstechnik 1
Anmerkung:
Zugl.: Halle, Wittenberg, Univ., Diss., 2000
Sprache:
Deutsch
Fachgebiete:
Technik
Schlagwort(e):
Steuerungssystem
;
Systementwurf
;
Systemsynthese
;
Formale Spezifikationstechnik
;
Petri-Netz
;
Hochschulschrift
;
Hochschulschrift
Mehr zum Autor:
Lüder, Arndt 1968-