共 50 条
- [21] Development of Safety-Critical Software Systems Using Open Source Software - A Systematic Map 2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), 2014, : 17 - 24
- [22] A PROBABILISTIC LOGIC FOR THE DEVELOPMENT OF SAFETY-CRITICAL, INTERACTIVE SYSTEMS INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1993, 39 (02): : 333 - 351
- [23] Formalisation-Driven Development of Safety-Critical Systems 2016 IEEE 17TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE), 2016, : 165 - 172
- [24] Safety-Critical Systems and Agile Development: A Mapping Study 44TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2018), 2018, : 470 - 477
- [25] 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
- [27] Towards a Lightweight Approach for On-site Interaction Evaluation of Safety-critical Mobile Systems 11TH INTERNATIONAL CONFERENCE ON FUTURE NETWORKS AND COMMUNICATIONS (FNC 2016) / THE 13TH INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS AND PERVASIVE COMPUTING (MOBISPC 2016) / AFFILIATED WORKSHOPS, 2016, 94 : 41 - 48
- [28] BSafeML: A Model-Based Hazard Management Technique for Safety-Critical Systems Development IEEE Open Journal of Systems Engineering, 2023, 1 : 81 - 93
- [29] Dependability of safety-critical systems 2004 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), VOLS. 1- 3, 2004, : 1561 - 1566