共 50 条
- [1] A Framework for Software Reuse in Safety-Critical System-of-Systems [J]. 2008 IEEE INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2008, : 402 - +
- [2] Simulation and Validation Framework for Safety-Critical Applications in System-of-Systems [J]. 2018 IEEE 23RD INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2018, : 376 - 383
- [3] A State-based Extension to STPA for Safety-Critical System-of-Systems [J]. 2019 4TH INTERNATIONAL CONFERENCE ON SYSTEM RELIABILITY AND SAFETY (ICSRS 2019), 2019, : 246 - 254
- [7] Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, 2017, 10623 : 15 - 32
- [8] Ensuring system and software reliability in safety-critical systems [J]. 1998 IEEE WORKSHOP ON APPLICATION-SPECIFIC SOFTWARE ENGINEERING AND TECHNOLOGY (ASSET 98) - PROCEEDINGS, 1998, : 48 - 53
- [10] Dependability of safety-critical systems [J]. 2004 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), VOLS. 1- 3, 2004, : 1561 - 1566