Subject
Computer Networks and Communications
Reference13 articles.
1. D.R. Avresky, J. Arlat, J.C. Lapire, Y. Crouzet, Fault injection for the formal testing of fault tolerance, Proceedings of the Twenty-Second International Symposium of Fault-Tolerant Computing Systems (FTCS-22)-IEEE, Boston, MA, USA, July 8–10, 1992, pp. 345–354.
2. A multi-staged software design approach for fault tolerance;Avresky;Int. J. of Reliability, Quality and Safety Engineering,1994
3. Fault injection for the formal testing of fault tolerance;Avresky;IEEE Trans. On Reliability,1996
4. Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends;Pnueli,1986
5. Design and synthesis of synchronization skeletons using branching time temporal logic;Clarke,1981
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献