Property Assurance in Middleware for Distributed Real-Time Systems*
Property Assurance in Middleware for Distributed Real-Time Systems* Christopher Gill [email protected] Department of Computer Science and Engineering.