共 50 条
- [1] Investigating the effect of variations in the test development process: a case from a safety-critical system Software Quality Journal, 2011, 19 : 615 - 642
- [3] Rigorous development process of a safety-critical system: from ASM models to Java code International Journal on Software Tools for Technology Transfer, 2017, 19 : 247 - 269
- [4] Automatic test generation for safety-critical system ICEMI'2001: FIFTH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT AND INSTRUMENTS, VOL 1, CONFERENCE PROCEEDINGS, 2001, : 70 - 73
- [6] Formal development method for safety-critical system Beifang Jiaotong Daxue Xuebao/Journal of Northern Jiaotong University, 2002, 26 (06):
- [7] Functional Safety Management in Microcontroller Design and Development Process: the Case of Safety-critical Vehicle Systems ADVANCES IN CIVIL ENGINEERING, PTS 1-6, 2011, 255-260 : 2179 - +
- [8] Automated Test Case Generation for Safety-Critical Software in Scade 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING IN PRACTICE, ICSE-SEIP, 2023, : 483 - 494
- [9] A CCS CASE-STUDY - A SAFETY-CRITICAL SYSTEM SOFTWARE ENGINEERING JOURNAL, 1991, 6 (04): : 159 - 167