共 50 条
- [1] Towards a Formal Approach to Analysing Security of Safety-Critical Systems 2018 14TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2018), 2018, : 182 - 189
- [2] Towards Improved Survivability in Safety-Critical Systems 2011 IEEE 17TH INTERNATIONAL ON-LINE TESTING SYMPOSIUM (IOLTS), 2011,
- [3] Towards normal design for safety-critical systems Fundamental Approaches to Software Engineering, Proceedings, 2007, 4422 : 398 - 411
- [4] Evaluation of a systematic approach in variant management for safety-critical systems development PROCEEDINGS IEEE/IFIP 13TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING 2015, 2015, : 35 - 43
- [7] XANDAR: Verification & Validation Approach for Safety-critical Systems 2023 IEEE 36TH INTERNATIONAL SYSTEM-ON-CHIP CONFERENCE, SOCC, 2023, : 78 - 83
- [8] A variability modeling and transformation approach for safety-critical systems PROCEEDINGS OF 15TH INTERNATIONAL WORKING CONFERENCE ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS, VAMOS 2021, 2021,
- [9] AMBOSS: A Task Modeling Approach for Safety-Critical Systems ENGINEERING INTERACTIVE SYSTEMS 2008, PROCEEDINGS, 2008, 5247 : 98 - +
- [10] An Ontological Approach to Hazard Identification for Safety-Critical Systems PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING (ICRSE 2017), 2017,