Meinten Sie:
+keyword:("computation by abstract devices")
Towards Model-Driven Development of Hard Real-Time Systems
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code