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

相关作者

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