|
1
|
C^4ISR体系结构服务视图及其演化的形式化描述方法 |
王磊
罗雪山
舒振
|
《国防科技大学学报》
EI
CAS
CSCD
北大核心
|
2011 |
13
|
|
|
2
|
设计模式的一种形式化描述方法 |
钟金琴
辜丽川
张友华
朱诚
|
《微电子学与计算机》
CSCD
北大核心
|
2009 |
6
|
|
|
3
|
三维拓扑关系形式化描述及拓扑关系模型研究 |
邓念东
侯恩科
张志华
赵洲
|
《西安建筑科技大学学报（自然科学版）》
CSCD
北大核心
|
2007 |
5
|
|
|
4
|
模型检测中的CTL形式化描述模板 |
陈志远
黄少滨
白玉
纪明宇
|
《哈尔滨工程大学学报》
EI
CAS
CSCD
北大核心
|
2013 |
3
|
|
|
5
|
指挥控制的形式化描述与性质验证 |
邓小妮
袁卫卫
曾熠
罗雪山
|
《国防科技大学学报》
EI
CAS
CSCD
北大核心
|
2003 |
2
|
|
|
6
|
基于GTP单纯剖分的地下实体拓扑关系形式化描述方法 |
邓念东
侯恩科
|
《煤炭学报》
EI
CAS
CSCD
北大核心
|
2008 |
5
|
|
|
7
|
C2组织指挥控制关系的形式化描述 |
周道安
张东戈
常树春
|
《指挥控制与仿真》
|
2008 |
19
|
|
|
8
|
基于攻击效能的网络攻击法分类与形式化描述 |
张森强
唐朝京
张权
王剑
|
《信息与电子工程》
|
2004 |
6
|
|
|
9
|
面向语义的作战命令形式化描述及本体构建 |
岳磊
马亚平
徐俊强
李元
|
《指挥控制与仿真》
|
2012 |
7
|
|
|
10
|
角色自律分散系统的RN-C形式化描述方法 |
谭永东
钱清泉
|
《铁道学报》
EI
CAS
CSCD
北大核心
|
2008 |
1
|
|
|
11
|
基于XML的形式化描述及其在考试系统中的应用 |
马永进
金炳尧
|
《科技通报》
|
2008 |
1
|
|
|
12
|
Agent结构的形式化描述分析及研究 |
焦蕾
|
《电子设计工程》
|
2012 |
3
|
|
|
13
|
基于ITL的多智能体物流系统中动态冲突的形式化描述框架研究 |
张恒
姜大立
邓韧
姜玉宏
|
《物流技术》
|
2011 |
0 |
|
|
14
|
基于CSP和RSL的协议形式化描述技术研究 |
顾翔
邱建林
|
《微电子学与计算机》
CSCD
北大核心
|
2009 |
0 |
|
|
15
|
船舶溢油应急处置组织间关联关系形式化描述 |
王立坤
|
《中国航海》
CSCD
北大核心
|
2010 |
0 |
|
|
16
|
基于Real-Time Object-Z语言的铁路交叉道口系统的形式化描述 |
魏艳鸣
|
《郑州轻工业学院学报（自然科学版）》
CAS
|
2009 |
0 |
|
|
17
|
Z应用于通信协议形式化描述的研究 |
袁晓东
徐殿祥
|
《电子与自动化仪表信息》
|
1997 |
0 |
|
|
18
|
基于INAP的智能业务形式化描述和冲突检测 |
元兆瑞
杨放春
|
《通信学报》
EI
CSCD
北大核心
|
2001 |
2
|
|
|
19
|
海上编队作战方案形式化描述研究 |
孙庆声
缪旭东
陈行军
|
《舰船电子工程》
|
2009 |
3
|
|
|
20
|
基于XYZ/E的Sun Open Solaris内核进程形式化描述与分析 |
王少将
张广泉
吴国伟
|
《南京师范大学学报（工程技术版）》
CAS
|
2008 |
0 |
|
