共 50 条
- [42] Test-linked specification for safety-critical software THIRTIETH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL 5: ADVANCED TECHNOLOGY, 1997, : 267 - 272
- [43] Agile methods for safety-critical software development EXTREME PROGRAMMING AND AGILE METHODS - XP/ AGILE UNIVERSE 2004, PROCEEDINGS, 2004, 3134 : 202 - 202
- [46] A Novel Test Coverage Metric for Safety-Critical Software PROCEEDINGS OF THE 2019 IEEE REGION 10 CONFERENCE (TENCON 2019): TECHNOLOGY, KNOWLEDGE, AND SOCIETY, 2019, : 486 - 491
- [47] SAFETY-CRITICAL SOFTWARE - ARE FORMAL TEST METHODS SUFFICIENT CONTROL AND INSTRUMENTATION, 1995, 27 (05): : 16 - 16
- [48] DEVELOPMENT OF A TEST FACILITY AND ITS APPLICATION FOR VALIDATION AND RELIABILITY TESTING OF SAFETY-CRITICAL SOFTWARE PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING 2010, VOL 1, 2011, : 815 - 820
- [49] Predicting fatigue and psychophysiological test performance from speech for safety-critical environments FRONTIERS IN BIOENGINEERING AND BIOTECHNOLOGY, 2015, 3
- [50] Platform Independent Safety-Critical Operating System 2015 INTERNATIONAL CONFERENCE ON INFORMATION AND DIGITAL TECHNOLOGIES (IDT), 2015, : 68 - 71