Media type: E-Book; Thesis Title: Synchronous Models for Embedded Software Contributor: Brandt, Jens [Verfasser]; Schneider, Klaus [Akademischer Betreuer] imprint: Kaiserslautern: Technische Universität Kaiserslautern, 2013 Extent: Online-Ressource Language: English Identifier: Keywords: Hochschulschrift Origination: University thesis: Kaiserslautern, Technische Universität Kaiserslautern, Habil.-Schr., 2013 Footnote: Access State: Open Access