Publisher
Oxford University Press (OUP)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Application of Model Checking to Fault Tolerance Analysis;From Software Engineering to Formal Methods and Tools, and Back;2019
2. Formal Definition of Program Faults and Hierarchy of Program Fault-Tolerant Abilities;2017 4th International Conference on Information Science and Control Engineering (ICISCE);2017-07
3. The Complexity of Adding Multitolerance;ACM Transactions on Autonomous and Adaptive Systems;2014-10-07
4. Feasibility of Stepwise Design of Multitolerant Programs;ACM Transactions on Software Engineering and Methodology;2011-12
5. Model-based construction and verification of critical systems using composition and partial refinement;Formal Methods in System Design;2010-12