共 50 条
- [22] Quality first - Measuring a safety-critical embedded software development process INTERNATIONAL CONFERENCE ON PRODUCT FOCUSED SOFTWARE PROCESS IMPROVEMENT, 1999, 195 : 300 - 320
- [23] An Exploratory Study on Applying a Scrum Development Process for Safety-Critical Systems PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT (PROFES 2017), 2017, 10611 : 324 - 340
- [24] Development of Safety Process in Model-Based Design Platform for Safety-Critical Systems PROCEEDINGS OF 2013 IEEE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2012, : 627 - 630
- [25] Testing concepts in Safety-Critical Development 2018 18TH IEEE INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND INFORMATICS (CINTI), 2018, : 105 - 108
- [26] On the formal development of safety-critical software VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 362 - 373
- [28] PROVING PROPERTIES OF A SAFETY-CRITICAL SYSTEM SOFTWARE ENGINEERING JOURNAL, 1991, 6 (02): : 41 - 50
- [30] Rigorous development of a safety-critical system based on coordinated atomic actions TWENTY-NINTH ANNUAL INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, DIGEST OF PAPERS, 1999, : 68 - 75