|
1
|
复杂系统的形式化建模及量化分析方法综述 |
王慧强
林烊
吕宏武
|
《计算机科学》
北大核心
|
2025 |
0 |
|
|
2
|
FADEC软件需求形式化建模与测试用例生成的实例研究 |
董泽华
胡军
沈翔宇
熊波
董亚炯
戴嘉磊
|
《南京航空航天大学学报(自然科学版)》
北大核心
|
2025 |
0 |
|
|
3
|
指挥与控制系统复杂网络形式化建模与分析 |
田旭光
朱元昌
邸彦强
|
《电光与控制》
北大核心
|
2012 |
10
|
|
|
4
|
网络化控制系统的协同设计与形式化建模 |
彭可
罗安
张伟
涂春鸣
|
《计算机集成制造系统》
EI
CSCD
北大核心
|
2011 |
5
|
|
|
5
|
面向服务软件中异常处理的形式化建模方法 |
蒋曹清
应时
文静
贾向阳
王一兵
|
《西安交通大学学报》
EI
CAS
CSCD
北大核心
|
2013 |
4
|
|
|
6
|
高速铁路列控中心软件安全性需求形式化建模 |
喻钢
刘晓文
熊静
徐中伟
杜军威
|
《铁道学报》
EI
CSCD
北大核心
|
2013 |
4
|
|
|
7
|
铁路信号联锁逻辑形式化建模研究 |
陈邦兴
吴芳美
|
《铁道学报》
EI
CAS
CSCD
北大核心
|
2002 |
25
|
|
|
8
|
铁路信号安全关键软件形式化建模 |
李耀
郭进
杨扬
马亮
|
《铁道学报》
EI
CAS
CSCD
北大核心
|
2017 |
6
|
|
|
9
|
基于π演算的软件人群体形式化建模 |
马忠贵
叶斌
曾广平
涂序彦
|
《北京理工大学学报》
EI
CAS
CSCD
北大核心
|
2006 |
4
|
|
|
10
|
一个机载软件需求形式化建模与分析实例研究 |
胡军
吕佳润
王立松
康介祥
王辉
高忠杰
|
《软件学报》
EI
CSCD
北大核心
|
2022 |
5
|
|
|
11
|
作战计划拟制中行动方案的形式化建模 |
杨俊强
杜佳
|
《系统仿真学报》
CAS
CSCD
北大核心
|
2009 |
11
|
|
|
12
|
面向航天嵌入式软件的形式化建模方法 |
顾斌
董云卫
王政
|
《软件学报》
EI
CSCD
北大核心
|
2015 |
7
|
|
|
13
|
车辆安全跟驰模式预测的形式化建模方法 |
刘秉政
高松
曹凯
王鹏伟
徐艺
|
《自动化学报》
EI
CAS
CSCD
北大核心
|
2021 |
2
|
|
|
14
|
面向语用的仿真组件形式化建模及组合技术研究 |
胡鹏
沈建京
吴善明
|
《计算机应用研究》
CSCD
北大核心
|
2015 |
3
|
|
|
15
|
面向开发过程的产品结构形式化建模 |
孙飞
唐晓青
段桂江
|
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
|
2008 |
3
|
|
|
16
|
CTCS-3列控系统RBC切换的形式化建模、分析与验证 |
潘登
郑应平
|
《计算机应用研究》
CSCD
北大核心
|
2013 |
4
|
|
|
17
|
面向SDN的脆弱性扩散形式化建模与扩散因素分析 |
王健
赵国生
赵中楠
李可
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2018 |
2
|
|
|
18
|
基于Pi-演算的信任网络形式化建模 |
袁禄来
曾国荪
王伟
|
《系统仿真学报》
EI
CAS
CSCD
北大核心
|
2008 |
2
|
|
|
19
|
基于Event-B的形式化建模关键技术研究 |
吴劲
陈志慧
|
《电子科技大学学报》
EI
CAS
CSCD
北大核心
|
2014 |
4
|
|
|
20
|
CTCS-3级列控系统车地交互流程形式化建模与验证 |
刘中田
吕继东
孙伟亮
|
《北京交通大学学报》
CAS
CSCD
北大核心
|
2011 |
2
|
|
