[IEEE Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. - Tampa, FL, USA (25-26 March 2004)] Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Evaluation of software development tools for high assurance safety critical systems
Kornecki, A.J.; Hall, K.; Hearn, D.; Lau, H.; Zalewski, J.
- 作者Kornecki, A.J.; Hall, K.; Hearn, D.; Lau, H.; Zalewski, J.
- 文件大小184.91KB
- 发表时间2004
- DOI10.1109/hase.2004.1281755
- 页码273-274