Author:
Fidge C.,Utting M.,Kearney P.,Hayes I.
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. N. Audsley, A. Burns, M. Richardson, K. Tindell, and A. Wellings. Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal, 8(5):284–292, September 1993.
2. T.P. Baker. Stack-based scheduling of real-time processes. Real Time Systems, 3(1):67–99, March 1991.
3. J. Bowen, editor. Towards Verified Systems, volume 2 of Real-Time Safety Critical Systems. Elsevier, 1994.
4. A. Burns and A. Wellings. Real-Time Systems and their Programming Languages. Addison-Wesley, 1990.
5. A. Burns and A.J. Wellings. Priority inheritance and message passing communication: A formal treatment. The Journal of Real-Time Systems, 3:19–44, 1991.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Data refinement for true concurrency;Electronic Proceedings in Theoretical Computer Science;2013-05-24
2. A theory for execution-time derivation in real-time programs;Theoretical Computer Science;2005-11
3. A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics;Formal Methods for Real-Time and Probabilistic Systems;1999
4. Select Z Bibliography;ZUM ’98: The Z Formal Specification Notation;1998
5. Integrating AORTA with model-based data specification languages;Fundamental Approaches to Software Engineering;1998