An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification
- 作者Seo Ryong Koo; Poong Hyun Seong; Junbeom Yoo; Sung Deok Cha; Yeong Jae Yoo
- 卷第89卷
- 期第3期
- 印刷ISSN0951-8320
- 文件大小1051.17KB
- 发表时间2005
- DOI10.1016/j.ress.2004.08.024
- 页码248-260
同标题推荐
06/00112 Critical feature analysis of a radiotherapy machine: Rac, A. et al. Reliability Engineering & System Safety, 2005, 89, (1), 48–562006
[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 2788 || Critical Feature Analysis of a Radiotherapy MachineAnderson, Stuart; Felici, Massimo; Littlewood, Bev · 2003