关键词: 指挥控制协同  能力需求  形式化  进程代数  

2020年第05期 《计算机工程与应用》

关键词: 指挥信息系统  涌现行为  本体  进程代数  

2019年第12期 《火力与指挥控制》

关键词: 入侵检测  并发行为  静态分析  进程代数  系统调用  

2014年第01期 《工程科学与技术》

关键词: 四川大学学报  工程科学  huang  自动识别算法  jiang  进程代数  试验研究  篡改检测  检测模型  

2014年第06期 《工程科学与技术》

关键词: petri网  进程代数  业务过程管理  面向服务的计算  

2017年第11期 《计算机产品与流通》

关键词: 电子商务  工作流模型  进程代数  

2009年第02期 《华北理工大学学报·自然科学版》

关键词: 网构软件体系结构  抽象代数  进程代数  软件演化  

2013年第01期

关键词: 组合式建模  进程代数  信息物理融合系统  aadl  模型转换  

2019年第10期 《计算机技术与发展》

关键词: 进程代数  形式化方法  并发系统  通信  通信模型  

2005年第09期 《计算机应用与软件》

关键词: 进程代数  路由器  建模  测试  

2005年第01期 《系统仿真学报》

关键词: 服务组合  进程代数  模糊时间  建模分析  

2018年第06期 《单片机与嵌入式系统应用》

关键词: uml活动图  元模型  形式化  进程代数  petri网  共享医院  

2019年第07期 《计算机与数字工程》

关键词: 进程代数  电子商务  agent模型  通道  通信系统  进程演算  

2004年第04期 《计算机仿真》

关键词: 移动计算  上下文感知  进程代数  染色petri网  

2005年第10期 《西安交通大学学报》

关键词: storm  调度策略  进程代数  topology  最大本地化  

2018年第07期 《计算机工程与应用》

关键词: 面向对象  建模语言  uml  进程代数  序列图  形式语义  

2004年第04期 《计算机科学》

关键词: 安全模型  计算机安全  进程代数  访问控制  信息流  框架  干扰  定义  概念  本质  

2005年第02期 《计算机科学》

关键词: 构件  构件系统  进程代数  弱互模拟  动态演化  

2017年第11期 《计算机科学》

关键词: 进程代数  非对称  互模拟格  

2004年第11期 《计算机研究与发展》

关键词: 进程代数  算子  不动点  复合不变性质  可构造性质  绝对安全性质  

2005年第12期 《计算机研究与发展》