|
1
|
基于时间自动机的无信号交叉口车路协同系统建模与验证 |
刘伟
肖七瑞
陈新海
饶畅
张宇
王博思
|
《系统仿真学报》
CAS
CSCD
北大核心
|
2024 |
0 |
|
|
2
|
面向高铁信号系统工程测试的测试建模方法 |
史增树
李耀
郭进
张亚东
|
《西南交通大学学报》
EI
CSCD
北大核心
|
2024 |
0 |
|
|
3
|
UMLStatecharts的模型检验方法 |
董威
王戟
齐治昌
|
《软件学报》
EI
CSCD
北大核心
|
2003 |
40
|
|
|
4
|
一种基于DTD的XPath逻辑优化方法 |
高军
杨冬青
唐世渭
王腾蛟
|
《软件学报》
EI
CSCD
北大核心
|
2004 |
17
|
|
|
5
|
基于场景构件式实时软件设计的一致性检验 |
胡军
于笑丰
张岩
李宣东
郑国梁
|
《软件学报》
EI
CSCD
北大核心
|
2006 |
13
|
|
|
6
|
袋自动机 |
张继军
吴哲辉
董卫
耿霞
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2008 |
4
|
|
|
7
|
C-TERN:一种基于CFSA的军事新闻文本时间信息处理算法 |
王伟
赵东岩
苏婷婷
|
《北京大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
|
2014 |
4
|
|
|
8
|
测试语言ATLAS的实现技术 |
刘磊
郭德贵
|
《仪器仪表学报》
EI
CAS
CSCD
北大核心
|
2004 |
4
|
|
|
9
|
赋权型自动机的不同模型研究 |
刘光武
石晓龙
许进
|
《计算机工程与应用》
CSCD
北大核心
|
2006 |
1
|
|
|
10
|
格值自动机与语言 |
李永明
|
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
|
2003 |
39
|
|
|
11
|
离散事件系统的可测性 |
舒少龙
林峰
黄志强
|
《计算机工程与应用》
CSCD
北大核心
|
2007 |
2
|
|
|
12
|
一种分布式制造信息系统控制性能的研究方法 |
张开升
陈玮
孙延明
郑时雄
|
《华南理工大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
|
2006 |
2
|
|
|
13
|
二元文法 |
张继军
费玉奎
董卫
|
《计算机工程与科学》
CSCD
|
2008 |
2
|
|
|
14
|
离散事件系统的监督控制理论 |
蒋智平
吴智铭
张钟俊
|
《上海交通大学学报》
EI
CAS
CSCD
北大核心
|
1993 |
2
|
|
|
15
|
动力系统的复杂性刻划 |
谢惠民
|
《力学进展》
EI
CSCD
北大核心
|
1996 |
10
|
|
|
16
|
关于交替的ω─有穷自动机的接受条件 |
周清雷
周文俊
庄雷
苏锦祥
|
《软件学报》
EI
CSCD
北大核心
|
1994 |
1
|
|
|
17
|
关于正则语言的泵引理 |
叶瑞芬
沈百英
|
《华东理工大学学报（自然科学版）》
CAS
CSCD
|
1994 |
3
|
|
|
18
|
基于树语言逼近的安全协议形式化分析 |
刘楠
朱文也
祝跃飞
陈晨
|
《计算机科学》
CSCD
北大核心
|
2010 |
1
|
|
|
19
|
采用树自动机推理技术的信息抽取方法 |
谭鹏许
张来顺
|
《计算机工程与应用》
CSCD
北大核心
|
2010 |
2
|
|
|
20
|
UML状态机模型元素的RSL形式化定义 |
郭艳燕
刘惊雷
|
《计算机科学》
CSCD
北大核心
|
2013 |
4
|
|
