Publisher
Springer Berlin Heidelberg
Reference15 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. A. Burns and A. J. Wellings. HRT-HOOD: A structured design method for hard real-time systems. Real-Time Systems, 6(1):73–114, January 1994.
3. A. Burns and A. J. Wellings. Simple Ada 95 tasking models for high integrity applications. Department of Computer Science, University of York, May 1996.
4. C. J. Fidge. Modelling real-time multi-tasking systems with timed traces. In Proc. Third Australasian Conference on Parallel and Real-Time Systems, pages 94–100, Brisbane, September 1996.
5. I. J. Hayes and M. Utting. Coercing real-time refinement: A transmitter. In D. J. Duke and A. S. Evans, editors, BCS-FACS Northern Formal Methods Workshop, 1996, Electronic Workshops in Computing. Springer-Verlag, 1997. http:// www.springer.co.uk/ewic/workshops/NFM96/.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献