Did you mean:
person:("krüger, ingolf H.")
Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code