Meinten Sie:
+keyword:("computation by abstract devices")
A Compositional Framework for Real-Time Guarantees
Generating Sound and Resource-Aware Code from Hybrid Systems Models