1
|
基于Event-B与ADT的TACS形式化开发方法与验证 |
陈祖希
牛传军
梅萌
刘杰
刘传振
郑黎晓
骆翔宇
潘亮
汪小勇
徐中伟
|
《中国铁道科学》
EI
CAS
CSCD
北大核心
|
2023 |
1
|
|
2
|
基于Event-B的可靠智能合约自动生成方法 |
朱健
胡凯
王军
李洁
叶亚飞
时希言
|
《计算机科学》
CSCD
北大核心
|
2023 |
0 |
|
3
|
一种基于Event-B语言的时间触发系统建模方法 |
姚袭欣
章博
陈香兰
乔磊
李曦
|
《计算机工程与科学》
CSCD
北大核心
|
2023 |
0 |
|
4
|
UML到Event-B的系统化转换方法 |
耿雪
邹盛荣
刘晓莹
姚聚义
|
《计算机技术与发展》
|
2023 |
0 |
|
5
|
基于改进Event-B建模的高速列车追踪运行仿真研究 |
陈永
张薇
胡晓辉
|
《计算机工程》
CAS
CSCD
北大核心
|
2015 |
3
|
|
6
|
基于Event-B方法的安全协议设计、建模与验证 |
李梦君
潘国腾
欧国东
|
《软件学报》
EI
CSCD
北大核心
|
2018 |
3
|
|
7
|
SPARDL模型的Event-B解释 |
綦艳霞
沈慧丽
陈朝晖
顾斌
|
《计算机应用》
CSCD
北大核心
|
2012 |
2
|
|
8
|
基于Event-B的形式化建模关键技术研究 |
吴劲
陈志慧
|
《电子科技大学学报》
EI
CAS
CSCD
北大核心
|
2014 |
4
|
|
9
|
基于Event-B方法的多应用智能卡的建模与开发 |
章玥
郭建
朱晓冉
王文君
朱晶洋
汤家华
陈峻念
|
《计算机工程与科学》
CSCD
北大核心
|
2014 |
2
|
|
10
|
基于Event-B的一种联锁逻辑的形式化建模研究 |
沈啸
陈邦兴
唐晨
|
《信息技术》
|
2013 |
0 |
|
11
|
基于EVENT-B的飞机起落架控制系统形式化建模 |
孟开元
王瑾
彭寒
曹庆年
|
《电脑知识与技术》
|
2022 |
0 |
|
12
|
基于Event-B形式化分析UML模型一致性 |
夏志龙
高尚
|
《江苏科技大学学报(自然科学版)》
CAS
北大核心
|
2017 |
3
|
|
13
|
基于Event-B的计算机联锁安全规范描述与验证 |
张越
王海峰
|
《铁路计算机应用》
|
2013 |
3
|
|
14
|
基于Event-B的中断管理需求和设计形式化建模与验证方法 |
周育逵
杨桦
乔磊
|
《空间控制技术与应用》
CSCD
北大核心
|
2017 |
3
|
|
15
|
基于Event-B的联锁进路控制建模验证方法研究 |
童湖东
宁滨
王海峰
|
《铁路计算机应用》
|
2013 |
2
|
|
16
|
基于Event-B的动态车载导航系统架构设计 |
祁晖
|
《电子技术与软件工程》
|
2016 |
0 |
|
17
|
基于Event-B的列车车载控制器系统的形式化建模 |
雷洋
胡晓辉
陈永
李欣
|
《数字技术与应用》
|
2012 |
1
|
|
18
|
矿井机车运输信号系统的Event-B建模与验证研究 |
荚文祥
陆阳
许崇
魏振春
|
《合肥工业大学学报(自然科学版)》
CAS
北大核心
|
2018 |
0 |
|
19
|
基于Event-B的双机热备平台测试序列自动生成方法 |
辛未
穆建成
马连川
曹源
|
《铁路计算机应用》
|
2016 |
0 |
|
20
|
基于Event-B的自动化模块组合方法研究 |
陈金鑫
苏雯
|
《计算机工程》
CAS
CSCD
北大核心
|
2019 |
1
|
|