共 50 条
- [32] Evolution of safety-critical requirements post-launch FIFTH IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, PROCEEDINGS, 2001, : 222 - 227
- [33] Requirements discovery during the testing of safety-critical software 25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 578 - 583
- [34] Translation of safety-critical software requirements specification to Lustre INNOVATIONS AND ADVANCED TECHNIQUES IN COMPUTER AND INFORMATION SCIENCES AND ENGINEERING, 2007, : 157 - 162
- [35] TAS Control Platform: A Platform for Safety-Critical Railway Applications ERCIM NEWS, 2008, (75): : 49 - 50
- [36] Digital Track Map Generation for Safety-Critical Railway Applications PROCEEDINGS OF THE 30TH INTERNATIONAL TECHNICAL MEETING OF THE SATELLITE DIVISION OF THE INSTITUTE OF NAVIGATION (ION GNSS+ 2017), 2017, : 1978 - 1987
- [37] Requirements Engineering of Industrial Automation Systems Adapting the CESAR Requirements Meta Model for Safety-Critical Smart Grid Software IECON 2015 - 41ST ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2015, : 2172 - 2177
- [38] Utilising Redundancy to Enhance Security of Safety-Critical Systems COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2023 WORKSHOPS, 2023, 14182 : 188 - 196
- [39] Driver Override for Safety-Critical Vehicles and Networks SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2009, 2 (01): : 271 - 280
- [40] A Comparative Analysis of Security Patterns for Enhancing Security in Safety-Critical Systems 2023 IEEE 36TH INTERNATIONAL SYSTEM-ON-CHIP CONFERENCE, SOCC, 2023, : 72 - 77