> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata Beteiligte: Gerke, Michael [Verfasser] Erschienen: Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2020 Umfang: Online-Ressource Sprache: Englisch DOI: 10.22028/D291-33312 Identifikator: Schlagwörter: Robots ; Modeling ; FlexRay ; Model Checking ; Zeitbehafteter Automat Entstehung: Hochschulschrift: Dissertation, Saarbrücken, Universität des Saarlandes, 2020 Anmerkungen: Zugangsstatus: Freier Zugang