空军工程大学学报(自然科学版)2003，Vol.4Issue(3)：61-63,3.
模型校验经济有效性问题的优化模型与方法
The Optimal Model and Methods of Economical-Effective Problem in Model Check
摘要
关键词
模型校验/置信度/经济有效性/优化模型分类
信息技术与安全科学引用本文复制引用
商长安,聂成,宋懋..模型校验经济有效性问题的优化模型与方法[J].空军工程大学学报(自然科学版),2003,4(3):61-63,3.基金项目
国防科技预研基金项目(99J4.2.3.JB2203) （99J4.2.3.JB2203）
