[IEEE Comput. Soc Ninth International Workshop on Software Specification and Design - Ise-Shima, Japan (16-18 April 1998)] Proceedings Ninth International Workshop on Software Specification and Design - Safety through security
Simpson, A.; Woodcock, J.; Davies, J.
- 作者Simpson, A.; Woodcock, J.; Davies, J.
- 文件大小72.60KB
- 发表时间1998
- DOI10.1109/iwssd.1998.667915
- 页码18-24