内蒙古民族大学学报（自然科学版）2010，Vol.25Issue(2)：166-167,2.
关于形式化方法与软件可靠性的研究
Study of Formalized Method and Software Reliability
包丽梅 1张玉春 1张世铮1
作者信息
- 1. 内蒙古民族大学,计算机科学与技术学院,内蒙古,通辽,028043
- 折叠
摘要
关键词
形式化方法/软件/可靠性分类
信息技术与安全科学引用本文复制引用
包丽梅,张玉春,张世铮..关于形式化方法与软件可靠性的研究[J].内蒙古民族大学学报（自然科学版）,2010,25(2):166-167,2.
