|
1
|
从Petri网到形式描述技术和协议工程 |
罗军舟
seu.edu.cn
沈俊
顾冠群
|
《软件学报》
EI
CSCD
北大核心
|
2000 |
41
|
|
|
2
|
EPr／TN网系统及网络协议形式描述技术 |
顾冠群
罗军舟
|
《计算机学报》
EI
CSCD
北大核心
|
1994 |
8
|
|
|
3
|
系统动态行为语义模型及其形式描述 |
钱军
冯玉琳
|
《计算机研究与发展》
EI
CSCD
北大核心
|
1999 |
3
|
|
|
4
|
基于高级Petri网的OSI网络协议形式描述 |
顾冠群
罗军舟
|
《计算机工程》
CAS
CSCD
北大核心
|
1993 |
2
|
|
|
5
|
形式描述语言COOZ的集成支撑环境COOZ-Tools |
袁晓东
胡德强
许皓
李勇
郑国梁
|
《计算机工程与设计》
CSCD
北大核心
|
1999 |
1
|
|
|
6
|
基于Z的协议形式描述与验证 |
李腊元
|
《计算机科学》
CSCD
北大核心
|
1994 |
3
|
|
|
7
|
协议形式描述风格的研究 |
李腊元
|
《小型微型计算机系统》
EI
CSCD
北大核心
|
1998 |
1
|
|
|
8
|
形式描述技术:直观LOTOS的提出和研究 |
史美林
闵京华
|
《通信学报》
EI
CSCD
北大核心
|
1989 |
1
|
|
|
9
|
软件移植工具:形式描述及实例研究 |
石柱
|
《计算机工程与设计》
CSCD
北大核心
|
1990 |
1
|
|
|
10
|
一种防火墙系统安全模型的形式描述 |
白跃彬
郑守淇
侯宗浩
邹勇
|
《小型微型计算机系统》
CSCD
北大核心
|
2003 |
0 |
|
|
11
|
通信协议的形式描述及自动实现技术 |
李腊元
朱以文
韦庆如
|
《小型微型计算机系统》
CSCD
北大核心
|
1995 |
0 |
|
|
12
|
协议形式描述语言Estelle的交互生成方法 |
张尧学
肖淑男
史美林
|
《计算机研究与发展》
EI
CSCD
北大核心
|
1993 |
0 |
|
|
13
|
表格的线性直观形式描述及其解析 |
沈军
顾冠群
|
《计算机工程与设计》
CSCD
|
2003 |
0 |
|
|
14
|
一种应用层安全通信协议的形式描述和验证 |
谭凯军
诸鸿文
|
《计算机工程与应用》
CSCD
北大核心
|
1998 |
0 |
|
|
15
|
SDL_TRAN，一个形式描述语言SDL的交互式生成器 |
张尧学
彭明田
张越
|
《计算机研究与发展》
EI
CSCD
北大核心
|
1994 |
0 |
|
|
16
|
一个基于属性文法的通信协议形式描述语言及协议开发环境 |
房鼎益
安娜
|
《计算机应用与软件》
CSCD
|
2000 |
0 |
|
|
17
|
一种适用于过程控制系统建模的形式描述语言PROTOB |
胡家宝
彭向荣
|
《计算机应用与软件》
CSCD
|
1998 |
0 |
|
|
18
|
局部网络运输协议的形式描述与验证 |
李腊元
|
《计算机学报》
EI
CSCD
北大核心
|
1992 |
0 |
|
|
19
|
一种适用于局网的传输协议及其形式描述 |
李腊元
|
《计算机应用与软件》
CSCD
|
1994 |
0 |
|
|
20
|
协议模型形式描述方法与趋势 |
陈骏林
|
《华北电力学院学报》
北大核心
|
1990 |
0 |
|
