Certification of software for real-time safety-critical systems: state of the art
Andrew Kornecki; Janusz Zalewski
- 作者Andrew Kornecki; Janusz Zalewski
- 卷第5卷
- 期第2期
- 印刷ISSN1614-5046
- 电子ISSN1614-5054
- 文件大小360.66KB
- 发表时间2009-06
- DOI10.1007/s11334-009-0088-1
- 页码149-161