1
|
基于Event-B方法的安全协议设计、建模与验证 |
李梦君
潘国腾
欧国东
|
《软件学报》
EI
CSCD
北大核心
|
2018 |
3
|
|
2
|
基于Event-B的可靠智能合约自动生成方法 |
朱健
胡凯
王军
李洁
叶亚飞
时希言
|
《计算机科学》
CSCD
北大核心
|
2023 |
0 |
|
3
|
基于Event-B的自动化模块组合方法研究 |
陈金鑫
苏雯
|
《计算机工程》
CAS
CSCD
北大核心
|
2019 |
1
|
|
4
|
基于改进Event-B建模的高速列车追踪运行仿真研究 |
陈永
张薇
胡晓辉
|
《计算机工程》
CAS
CSCD
北大核心
|
2015 |
3
|
|
5
|
车站联锁进路控制逻辑的形式化方法 |
胡晓辉
韩佳芮
|
《计算机工程与应用》
CSCD
北大核心
|
2016 |
8
|
|
6
|
矿井机车运输信号系统的Event-B建模与验证研究 |
荚文祥
陆阳
许崇
魏振春
|
《合肥工业大学学报(自然科学版)》
CAS
北大核心
|
2018 |
0 |
|
7
|
基于Event-B的形式化建模关键技术研究 |
吴劲
陈志慧
|
《电子科技大学学报》
EI
CAS
CSCD
北大核心
|
2014 |
4
|
|
8
|
基于Event-B对存在网络攻击的安全协议的改进研究 |
朱俊翔
张翔
|
《中国电子科学研究院学报》
北大核心
|
2020 |
0 |
|
9
|
列车安全距离控制形式化建模与验证 |
胡晓辉
肖知屹
陈永
李欣
|
《计算机应用》
CSCD
北大核心
|
2014 |
1
|
|