Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
Development of direct methanol fuel cell systems for material handling applications
Monadologie of de beginselen van de wijsbegeerte
Teamarbeit in fraktalen Bürostrukturen
Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer