共 50 条
- [23] Towards a Formal Approach to Analysing Security of Safety-Critical Systems 2018 14TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2018), 2018, : 182 - 189
- [25] Cyber Security Lifecycle and Assessment Technique for FPGA-based I&C Systems PROCEEDINGS OF IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS 2013), 2013,
- [26] Reducing Software Assurance Risks for Security-Critical and Safety-Critical Systems 2014 IEEE LONG ISLAND SYSTEMS, APPLICATIONS AND TECHNOLOGY CONFERENCE (LISAT), 2014,
- [27] SaSeVAL: A Safety/Security-Aware Approach for Validation of Safety-Critical Systems 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN-W 2021), 2021, : 27 - 34
- [30] Model-based design, analysis and assessment framework for safety-critical systems 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOL (DSN 2021), 2021, : 25 - 26