共 50 条
- [2] Design tool assessment for safety-critical software development [J]. 28TH ANNUAL NASA GODDARD SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, 2004, : 105 - 113
- [3] The quantitative safety assessment for safety-critical software [J]. 29th Annual IEEE/NASA Software Engineering Workshop, Proceedings, 2005, : 150 - 159
- [5] Indicators of Safety-Critical Events in Radiation Oncology Derived From the Oncology Information System [J]. INTERNATIONAL JOURNAL OF RADIATION ONCOLOGY BIOLOGY PHYSICS, 2016, 96 (02): : S72 - S73
- [6] Formal specification as a tool for objective assessment of safety-critical interactive systems [J]. HUMAN-COMPUTER INTERACTION - INTERACT '97, 1997, : 323 - 330
- [7] Safety-Critical Online Control with Adversarial Disturbances [J]. 2020 59TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2020, : 3731 - 3738
- [8] Safety Assessment of Design Patterns for Safety-Critical Embedded Systems [J]. 2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 523 - 527
- [10] Languages for safety-critical software: Issues and assessment [J]. 29th International Conference on Software Engineering: ICSE 2007 Companion Volume, Proceedings, 2007, : 180 - 181