郑延平
【姓名】 郑延平
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 state chart,UML,模型检验,UML状态机,状态机,计算树逻辑,格局,使能,状态迁移图,子公式,子状态,事件队列,基本状态,优先级,无冲突,当前格局,复合状态,目标状态,致性,算法,
【工作单位】 国防科学技术大学
【曾工作单位】 国防科学技术大学;
【所在地域】 湖南长沙
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 0 1 0 34 280
中国期刊全文数据库    共找到1篇
[1]董威,王戟,郑延平,齐治昌.UML状态机的模型检验方法[J]计算机工程与科学.2001,(06)
更多