Subject
Control and Systems Engineering,Software
Reference31 articles.
1. Avizienis, A. (1982). The four-universe information system model for the study of fault tolerance. In Proceedings of the 12th FTCS Symposium. Los Angeles: IEEE Press.
2. Bauer, G., & Kopetz, H. (2000). Transparent redundancy in the time-triggered architecture. In Dependable systems and networks (DSN 2000). New York: IEEE Press.
3. Boyer, R. S., & Moore, J. S. (1981). The correctness problem in computer science. New York: Academic Press.
4. Constantinescu, C. (2002). Impact of deep submicron technology on dependability of VLSI circuits. In Proceedings of the 2002 International Conference on Dependable Systems and Networks. Washington, DC: IEEE Press.
5. Fetzer, C. (2001). Enforcing perfect failure detection. In Proceedings of the 21st Conference on Distributed Computing Systems. Meza, AZ: IEEE Press.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献