搜索到 篇“ UPPAAL “的相关文章

相关作者

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