共 50 条
- [42] Integrated formal methods for safety analysis of train systems BUILDING THE INFORMATION SOCIETY, 2004, 156 : 637 - 642
- [43] Combining formal methods and safety analysis - The ForMoSA approach INTEGRATION OF SOFTWARE SPECIFICATION TECHNIQUES FOR APPLICATIONS IN ENGINEERING, 2004, 3147 : 474 - 493
- [44] A Case Study using a Protocol to Derive Safety Functional Requirements from Fault Tree Analysis 2014 IEEE 22ND INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2014, : 412 - 419
- [45] Safety Analysis for Reactor Scram Subsystem Based on Multiple Methods Hedongli Gongcheng/Nuclear Power Engineering, 2018, 39 (03): : 156 - 161
- [47] Research advance in safety analysis methods for high concrete dam Science in China Series E: Technological Sciences, 2007, 50 : 62 - 78
- [50] Research advance in safety analysis methods for high concrete dam SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 2007, 50 (Suppl 1): : 62 - 78