武器装备预研基金(51406010704KG0143)

作品数：2被引量：1H指数：1
导出分析报告
相关作者：罗雪山邓小妮姜志平陈洪辉更多>>
相关机构：国防科学技术大学更多>>
相关期刊：《火力与指挥控制》更多>>
相关主题：序列图对象PETRI网形式化验证军事电子信息系统时间自动机更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
向时间自动机转换的军事电子信息系统性质验证
《火力与指挥控制》2011年第12期134-137,共4页邓小妮 罗雪山 
武器装备基金资助项目(51406010704KG0143)
日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需。给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对...
关键词：形式化验证 模型检验 PETRI网 时间自动机 
利用对象Petri网验证场景被引量：1
《火力与指挥控制》2009年第7期72-75,共4页邓小妮 姜志平 陈洪辉 罗雪山 
武器装备基金资助项目(51406010704KG0143)
序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证。将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发者和用户,以...
关键词：场景 序列图 对象PETRI网 需求验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部