共 50 条
- [22] Building Large, Complex, Distributed Safety-Critical Operating Systems Real-Time Systems, 1997, 13 : 277 - 302
- [23] Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with S# CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION, 2016, 9933 : 150 - 167
- [24] Unraveling the Mystery of NVIDIA's Unified Memory for Safety-Critical GPU Systems 2023 26TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN, DSD 2023, 2023, : 366 - 372
- [26] Deep-Neural-Network-Controlled Safety-Critical Systems With Uncertainty Resilience IEEE INTERNET OF THINGS JOURNAL, 2024, 11 (13): : 24061 - 24072
- [27] Simulation and Validation Framework for Safety-Critical Applications in System-of-Systems 2018 IEEE 23RD INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2018, : 376 - 383
- [28] Development of a framework for automated systematic testing of safety-critical embedded systems PROCEEDINGS OF THE FOURTH INTERNATIONAL WORKSHOP ON INTELLIGENT SOLUTIONS IN EMBEDDED SYSEMS, 2006, : 65 - +
- [30] A Validation Metrics Framework for Safety-Critical Software-Intensive Systems 2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING SOSE 2009, 2009, : 109 - +