共 50 条
- [22] Protecting Actuators in Safety-Critical IoT Systems from Control Spoofing Attacks [J]. PROCEEDINGS OF THE 2ND INTERNATIONAL ACM WORKSHOP ON SECURITY AND PRIVACY FOR THE INTERNET-OF-THINGS (IOT S&P'19), 2019, : 8 - 14
- [23] A component-based approach to specify hazards in the design of safety-critical systems [J]. 2005 3RD IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2005, : 680 - 685
- [24] A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, 2014, 8454 : 43 - 57
- [25] Live State-of-Health Safety Monitoring for Safety-Critical Automotive Systems [J]. 2019 22ND EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2019, : 102 - 107
- [26] Dependability of safety-critical systems [J]. 2004 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), VOLS. 1- 3, 2004, : 1561 - 1566
- [28] Certification of Safety-Critical Systems [J]. COMMUNICATIONS OF THE ACM, 2023, 66 (10) : 22 - 26
- [30] SAFETY-CRITICAL SYSTEMS - INTRODUCTION [J]. COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 5 - 5