肖景

作品数：1被引量：8H指数：1
导出分析报告
供职机构：杭州电子科技大学计算机学院图形图像研究所更多>>
发文主题：功率消耗功耗唤醒最高频率嵌入式系统更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《科技通报》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于Petri网的模型调度方法被引量：8
《科技通报》2011年第2期186-189,194,共5页肖景 郑秋华 
针对软件模型的时间约束能力不强以及形式化验证复杂的问题,本文提出一种基于Petri网的形式化模型调度方法,从时间层次上对模型的合理性进行验证与分析。该方法通过构建系统领域模型到Petri网模型的转换规则,利用Petri网的分析验证技术...
关键词：PETRI网 模型验证 调度分析 形式化 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部