搜索到 篇“ UML状态机 “的相关文章

相关作者

陈海诠
作品数：8被引量：35H指数：4
供职机构：西安交通大学电子与信息工程学院
研究主题：B方法 形式化方法 UML状态机 高可信 程序依赖图
肖健宇
作品数：19被引量：39H指数：4
供职机构：湖南涉外经济学院
研究主题：B方法 形式化方法 程序依赖图 并发程序 UML状态机
张德运
作品数：226被引量：1,257H指数：18
供职机构：西安交通大学
研究主题：无线传感器网络 计算机网络 网络处理器 网络安全 入侵检测
董皓
作品数：7被引量：29H指数：4
供职机构：西安交通大学电子与信息工程学院
研究主题：B方法 形式化方法 UML状态机 程序依赖图 并发程序
张伟
作品数：90被引量：320H指数：10
供职机构：吉林大学交通学院
研究主题：数据挖掘 时分多址 聚类 数据流 PETRI网