Theoretical Paper - Modeling and Validation of Hybrid Systems using Extended Timestamp Nets
Automatisierungstechnik. at ; Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik ; Organ der GMA (VDI/VDE-Gesellschaft Mess- und Automatisierungstechnik) und der NAMUR (Interessengemeinschaft Prozessleittechnik der Chemischen und Pharmazeutischen Industrie). Bd. 49. H. 2. München: Oldenbourg 2001
Erscheinungsjahr: 2001
ISBN/ISSN: 0178-2312
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
Autoren
Hanisch, H.-M. (Autor)
Lautenbach, K. (Autor)
Simon, C. (Autor)
Thieme, J. (Autor)