Media type: Book; Thesis Title: Reactive scheduling using timed automata models and integration with sequential control logic Contributor: Schoppmeyer, Christian [VerfasserIn] Corporation: Shaker Verlag imprint: Aachen: Shaker, 2015 Published in: Technische Universität Dortmund: Schriftenreihe des Lehrstuhls für Systemdynamik und Prozessführung ; 2015,6 Extent: XXIV, 240 Seiten; Illustrationen; 21 cm Language: English ISBN: 384403899X; 9783844038996 RVK notation: ZQ 5200 : Allgemeines Keywords: Ablaufplanung > Ablaufsteuerung > Echtzeitsystem Origination: University thesis: Dissertation, Technische Universität Dortmund, 2015 Footnote:
Departmental Library DrePunct – open access area Shelf-mark: ZQ 5200 S373 Item ID: 34640586 Status: Loanable