共 50 条
- [1] B Formal Validation of ERTMS/ETCS Railway Operating Rules [J]. ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2014, 2014, 8477 : 124 - 129
- [2] INTEGRATING THE QUANTITATIVE AND QUALITATIVE ASPECTS OF SAFETY ASSESSMENT [J]. 2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2012,
- [3] Process operating performance optimality assessment with coexistence of quantitative and qualitative information [J]. CANADIAN JOURNAL OF CHEMICAL ENGINEERING, 2018, 96 (01): : 179 - 188
- [4] Qualitative and Quantitative Assessment of Scaffolding Used in Polish Cities: Focus on Safety [J]. 3RD WORLD MULTIDISCIPLINARY CIVIL ENGINEERING, ARCHITECTURE, URBAN PLANNING SYMPOSIUM (WMCAUS 2018), 2019, 471
- [10] Qualitative and quantitative reliability assessment [J]. IEEE SOFTWARE, 1997, 14 (02) : 77 - 87