搜索到 篇“ 时间自动机 “的相关文章

相关作者

周清雷
作品数:160被引量:402H指数:9
供职机构:郑州大学
研究主题:时间自动机 FPGA 图形处理器 自动机 安全协议
庄雷
作品数:132被引量:745H指数:14
供职机构:郑州大学
研究主题:时间自动机 对等网络 面向对象 GNUTELLA UPPAAL
姬莉霞
作品数:42被引量:135H指数:6
供职机构:郑州大学
研究主题:时间自动机 UPPAAL 实时系统 自动机 仿真
张广泉
作品数:234被引量:712H指数:14
供职机构:苏州大学计算机科学与技术学院
研究主题:软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
吕继东
作品数:60被引量:140H指数:9
供职机构:北京交通大学
研究主题:列车 列控系统 时间自动机 UPPAAL 编组