Media type: E-Book; Thesis Title: Control flow graphs for real-time systems analysis: reconstruction from binary executables and usage in ILP-based path analysis Contributor: Theiling, Henrik [Author] Published: 2004 Extent: Online-Ressource Language: English Identifier: Keywords: Echtzeitsystem ; Worst-Case-Laufzeit ; Statische Analyse ; Planbarkeitsanalyse ; Kontrollflussdiagramm ; Pfadanalyse ; Hochschulschrift Origination: University thesis: Saarbrücken, Univ., Diss., 2002 Footnote: Access State: Open Access