共 50 条
- [21] Verification of requirements for safety-critical software ACM SIGADA ANNUAL INTERNATIONAL CONFERENCE (SIGADA'99) - PROCEEDINGS, 1999, 19 (03): : 23 - 29
- [22] Toward dependable safety-critical software SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 86 - 92
- [23] On the formal development of safety-critical software VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 362 - 373
- [24] An approach for testing safety-critical software NINTH GREAT LAKES SYMPOSIUM ON VLSI, PROCEEDINGS, 1999, : 180 - 183
- [28] Timing tolerances in safety-critical software FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 157 - 172