共 50 条
- [22] Safety-Critical Applications for Vehicular Networks 2016 INTERNATIONAL CONFERENCE ON COMMUNICATIONS (COMM 2016), 2016, : 347 - 350
- [23] Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie FORMS/FORMAT 2010: FORMAL METHODS FOR AUTOMATION AND SAFETY IN RAILWAY AND AUTOMOTIVE SYSTEMS, 2011, : 145 - 153
- [24] Functional apportioning of safety requirements on railway signalling systems COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2005, 3688 : 289 - 302
- [25] Security Assessment of FPGA-based Safety-Critical Systems: US NRC Requirements Context 2015 INTERNATIONAL CONFERENCE ON INFORMATION AND DIGITAL TECHNOLOGIES (IDT), 2015, : 132 - 138
- [29] Deriving architectural flexibility requirements in safety-critical systems IEE PROCEEDINGS-SOFTWARE, 2005, 152 (04): : 143 - 152
- [30] Developing requirements management tool for safety-critical systems 2019 ACTUAL PROBLEMS OF SYSTEMS AND SOFTWARE ENGINEERING (APSSE 2019), 2019, : 50 - 57