共 50 条
- [1] The Methodology of Software Quality Assurance for Safety-Critical Systems 2015 INTERNATIONAL SIBERIAN CONFERENCE ON CONTROL AND COMMUNICATIONS (SIBCON), 2015,
- [3] Reducing Software Assurance Risks for Security-Critical and Safety-Critical Systems 2014 IEEE LONG ISLAND SYSTEMS, APPLICATIONS AND TECHNOLOGY CONFERENCE (LISAT), 2014,
- [4] Applying Safety Case Pattern to Generate Assurance Cases for Safety-Critical Systems 2015 IEEE 16TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE), 2015, : 255 - 262
- [5] A Framework for Software Safety in Safety-Critical Systems NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
- [6] Measure Confidence of Assurance Cases in Safety-Critical Domains 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING TECHNOLOGIES RESULTS (ICSE-NIER), 2018, : 13 - 16
- [8] Quality Assurance in Agile Safety-Critical Systems Development PROCEEDINGS 2016 10TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), 2016, : 44 - 51
- [9] Fault mitigation in safety-critical software systems NINTH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, 1996, : 12 - 17
- [10] Software reuse in safety-critical airborne systems 2006 IEEE/AIAA 25TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1- 3, 2006, : 1160 - 1167