共 50 条
- [32] A Methodology for Modeling Software Safety in Safety-Critical Computing Systems INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2009, 9 (07): : 185 - 193
- [33] Scrum for safety: an agile methodology for safety-critical software systems Software Quality Journal, 2022, 30 : 1067 - 1088
- [34] Software safety risk in legacy safety-critical computer systems PROCEEDINGS IEEE SOUTHEASTCON 2007, VOLS 1 AND 2, 2007, : 229 - +
- [37] Designing a B Model for safety-critical software systems B'98: RECENT ADVANCES IN THE DEVELOPMENT AND USE OF THE B METHOD, 1998, 1393 : 210 - 225
- [39] Ensuring system and software reliability in safety-critical systems 1998 IEEE WORKSHOP ON APPLICATION-SPECIFIC SOFTWARE ENGINEERING AND TECHNOLOGY (ASSET 98) - PROCEEDINGS, 1998, : 48 - 53
- [40] An Ontological Analysis of Safety-Critical Software and Its Anomalies 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, 2022, : 311 - 320