Media type: E-Book Title: Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata Contributor: Gerke, Michael [Author] Published: Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2020 Extent: Online-Ressource Language: English DOI: 10.22028/D291-33312 Identifier: Keywords: Robots ; Modeling ; FlexRay ; Model Checking ; Zeitbehafteter Automat Origination: University thesis: Dissertation, Saarbrücken, Universität des Saarlandes, 2020 Footnote: Access State: Open Access