> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: On static execution-time analysis Beteiligte: Hahn, Sebastian [Verfasser]; Reineke, Jan [Akademischer Betreuer] Erschienen: Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2019 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Echtzeitsystem ; Verifikation ; Abstrakte Interpretation ; Computerarchitektur ; Pipeline-Verarbeitung ; Worst-Case-Laufzeit Entstehung: Hochschulschrift: Dissertation, Saarbrücken, Universität des Saarlandes, 2019 Anmerkungen: Zugangsstatus: Freier Zugang