> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Integrated timing verification for distributed embedded real-time systems Beteiligte: Montag, Pascal [VerfasserIn] Erschienen: Saarbrücken, 2018 Umfang: 1 Online-Ressource (IX, 156 Seiten); Illustrationen Sprache: Englisch DOI: 10.22028/D291-27187 Identifikator: Schlagwörter: Statische Analyse > Worst-Case-Laufzeit > Verifikation Entstehung: Hochschulschrift: Dissertation, Saarbrücken, Universität des Saarlandes, 2018 Anmerkungen: Zugangsstatus: Freier Zugang