共 50 条
- [23] Co-engineering Safety-Security Using Statistical Model Checking FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2022, 2022, 13273 : 88 - 92
- [24] Systematic Pattern Approach for Safety and Security Co-engineering in the Automotive Domain COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2017, 2017, 10488 : 329 - 342
- [25] Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook SOFTWARE ENGINEERING FOR RESILIENT SYSTEMS, SERENE 2017, 2017, 10479 : 96 - 114
- [27] The Cyber Safe Position: An STPA for Safety, Security, and Resilience Co-Engineering Approach 19TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY, ARES 2024, 2024,