共 50 条
- [24] A CCS CASE-STUDY - A SAFETY-CRITICAL SYSTEM SOFTWARE ENGINEERING JOURNAL, 1991, 6 (04): : 159 - 167
- [25] 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
- [26] Reliability Modeling and Analysis of Safety-critical Manufacture System ICICTA: 2009 SECOND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION, VOL II, PROCEEDINGS, 2009, : 560 - +
- [29] An Operating System for Safety-Critical Applications on Manycore Processors 2014 IEEE 17TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2014, : 238 - 245
- [30] Local causal reasoning of a safety-critical Subway system MEMOCODE'07: FIFTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2007, : 83 - +