Reference15 articles.
1. Avizienis, A., et al., (2004). Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. on Dependable and Secure Computing. Vol. 1(1). (pp. 11-33).
2. Burns, A. & A. Wellings. (2009). Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX. Addison-Wesley.
3. Buttazzo, G. (2004). Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Springer Verlag.
4. Degani, A., Shafto, M. & Kirlik, A. (1995). Mode Usage in Automated Cockpits: some Initial Observations. Proc. of IFAC 1995. IFAC Press. (pp. 1-13).
5. Johnson, S. C., & Butler, R. W. (1992). Design for Validation. IEEE Aerospace and Electronic Systems Magazine. Vol. 7(1). (pp. 38-43).
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献