Treffer: Control flow graphs for real-time systems analysis
Titel:
Control flow graphs for real-time systems analysis : reconstruction from binary executables and usage in ILP-based path analysis / von Henrik Theiling
Verantwortlich:
Entstehung:
[2004]
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Englisch
Hochschulschrift:
Dissertation, Universität des Saarlandes, Saarbrücken, 2003
Anmerkungen:
Erscheinungsjahr an der Haupttitelstelle: 2002
Schlagworte: