Results for Rate monotonic algorithm

Publications & Outputs

1. On the use of formal techniques for analyzing dependable real-time protocols

   Sinha, P. & Suri, N., 1/12/1999, Proceedings 20th IEEE Real-Time Systems Symposium. IEEE, p. 126-135 10 p.

   Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review