共 50 条
- [1] A study on airborne software safety requirements patterns [J]. 2013 IEEE 7TH INTERNATIONAL CONFERENCE ON SOFTWARE SECURITY AND RELIABILITY - COMPANION (SERE-C), 2013, : 132 - 137
- [2] Verification Method of Airborne Software for Aviation Safety based on Model [J]. PROCEEDINGS OF 2019 IEEE 8TH JOINT INTERNATIONAL INFORMATION TECHNOLOGY AND ARTIFICIAL INTELLIGENCE CONFERENCE (ITAIC 2019), 2019, : 1516 - 1520
- [3] Research on Elicitation of Safety Testing Requirements for Airborne Software [J]. 3RD INTERNATIONAL SYMPOSIUM ON AIRCRAFT AIRWORTHINESS (ISAA 2013), 2014, 80 : 303 - 312
- [4] Automatic analysis technology for aviation equipment software requirements [J]. PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON MECHATRONICS, MATERIALS, CHEMISTRY AND COMPUTER ENGINEERING 2015 (ICMMCCE 2015), 2015, 39 : 1323 - 1328
- [5] Research on Complex Airborne Software Safety Engineering Framework [J]. PROCEEDINGS OF 2014 10TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY AND SAFETY (ICRMS), VOLS I AND II, 2014, : 358 - 362
- [7] Airborne software concerns in civil aviation certification [J]. DEPENDABLE COMPUTING, PROCEEDINGS, 2005, 3747 : 52 - 60
- [8] Case Study on Formal Modeling and Analysis of Airborne Software Requirements [J]. Ruan Jian Xue Bao/Journal of Software, 2022, 33 (05): : 1652 - 1673
- [9] Safety analysis of software requirements: model and process [J]. 3RD INTERNATIONAL SYMPOSIUM ON AIRCRAFT AIRWORTHINESS (ISAA 2013), 2014, 80 : 153 - 164
- [10] ANALYSIS OF THE AVIATION SAFETY ISSUES USING TEM FRAMEWORK [J]. TEHNICKI VJESNIK-TECHNICAL GAZETTE, 2009, 16 (03): : 79 - 84