Reference63 articles.
1. M. Abadi, L. Lamport, “Composing specifications”, Tech. Report 66, Digital Equipment Corp. Systems Research Center, Palo Alto, California, Oct. 1990, 90p.
2. D. Andrews, A. Mahmood, E.J. McCluskey, “Executable assertions and flight software”, in Proc. AIAA/IEE 6th Digital Avionics Systems Conf., Dec. 1984, pp. 346–351.
3. J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J.-C. Fabre, J.-C. Laprie, E. Martins and D. Powell, “Fault Injection for Dependability Validation — A Methodology and Some Applications”, IEEE Trans. on Software Engineering, 16(2), pp. 166–182, February 1990.
4. T.F. Arnold, “The Concept of Coverage and its Effect on the Reliability Model of Repairable Systems”, IEEE Trans. on Computers, vol. C-22, no. 3, pp. 251–254, 1973.
5. A. Avizienis, J.-C. Laprie, “Dependable computing: from concepts to design diversity”, Proceedings of the IEEE, vol. 74, no. 5, May 1986, pp. 629–638.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A looming fault tolerance software crisis?;ACM SIGSOFT Software Engineering Notes;2007-03
2. Evaluation of Network Dependability Using Event Injection;Lecture Notes in Computer Science;2006
3. Dependability, Structure, and Infrastructure;Cyberspace Security and Defense: Research Issues