DMCA

A formally verified application-level framework for real-time scheduling on posix real-time operating systems (2004)

Cached

Download Links

by Peng Li , Student Member , Binoy Ravindran , Senior Member , Syed Suhaib , Student Member , Shahrooz Feizabadi
Venue:IEEE Trans. Software Engineering
Citations:32 - 19 self