[IEEE Comput. Soc 1997 High-Assurance Engineering Workshop - Washington, DC, USA (11-12 Aug. 1997)] Proceedings 1997 High-Assurance Engineering Workshop - Toward more effective testing for high assurance systems
Hecht, H.; Hecht, M.; Wallace, D.
- 作者Hecht, H.; Hecht, M.; Wallace, D.
- 文件大小541.14KB
- 发表时间1997
- DOI10.1109/hase.1997.648060
- 页码176-181