搜索到 篇“ EVENT-B “的相关文章

相关作者

胡晓辉
作品数：115被引量：396H指数：9
供职机构：兰州交通大学电子与信息工程学院
研究主题：无线传感器网络 随机PETRI网 仿真 PETRI网 WSN
李钦
作品数：21被引量：10H指数：1
供职机构：华东师范大学
研究主题：安全性质 EVENT-B 形式化验证 形式化建模 建模语言
陈永
作品数：101被引量：295H指数：9
供职机构：兰州交通大学电子与信息工程学院
研究主题：壁画修复 图像处理 随机PETRI网 元胞自动机 仿真
杨桦
作品数：73被引量：52H指数：5
供职机构：北京控制工程研究所
研究主题：形式化验证 星载 操作系统 嵌入式操作系统 航天器
蒲戈光
作品数：31被引量：33H指数：3
供职机构：华东师范大学
研究主题：测试用例 健壮性 形式化验证 EVENT-B 源代码