模型校验经济有效性问题的优化模型与方法

• The Optimal Model and Methods of Economical-Effective Problem in Model Check