标准编号：HB 20296-2016
标准名称：基于模型的定义 模型检查要求
英文名称：Model based definition - Model checking
发布部门：国防科技工业局
发布日期：2016-01-19
实施日期：2015-03-01
标准状态：现行
文件格式：PDF
站内资源均来自网友分享或网络收集整理，若无意中侵犯到您的权利，敬请联系我们，我们将及时删除相关资源。
标准编号：HB 20296-2016
标准名称：基于模型的定义 模型检查要求
英文名称：Model based definition - Model checking
发布部门：国防科技工业局
发布日期：2016-01-19
实施日期：2015-03-01
标准状态：现行
文件格式：PDF