TY - BOOK
AU - Gerber, Christian
TI - Implementation and verification of distributed control systems
PB - Logos-Verl.
SN - 9783832528492
SN - 3832528490
KW - Hochschulschrift
KW - Steuerungssystem
KW - Verteiltes System
KW - IEC 61499
KW - Bedingungs-Ereignis-System
KW - Zeitbewertetes Petri-Netz
KW - Funktionseinheit
KW - Regelungssystem
KW - Verifikation
PY - 2011
BT - Hallenser Schriften zur Automatisierungstechnik ; 7
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation