Documents Reusable Models for Timing and Liveness Analysis of Middleware for Distributed Real- Time and...

Slide 1 Reusable Models for Timing and Liveness Analysis of Middleware for Distributed Real- Time and Embedded Systems Venkita Subramonian and Christopher Gill* {venkita,cdgill}@cse.wustl.edu…