搜索到 篇“ 进程代数 “的相关文章

相关作者

傅育熙
作品数：37被引量：105H指数：6
供职机构：上海交通大学电子信息与电气工程学院软件学院
研究主题：进程代数 互模拟 并发计算 Π-演算 元模型
马川
作品数：20被引量：28H指数：3
供职机构：燕山大学信息科学与工程学院
研究主题：进程代数 ANDROID 入侵检测 通信 组件
祝义
作品数：72被引量：181H指数：7
供职机构：江苏师范大学
研究主题：进程代数 软件体系结构 实时系统 CPS 形式化方法
王涛
作品数：50被引量：43H指数：4
供职机构：燕山大学
研究主题：进程代数 通信 入侵检测 ANDROID 微电网
赵会群
作品数：115被引量：567H指数：14
供职机构：北方工业大学
研究主题：边界网关协议 软件体系结构 TTCN-3 物联网 软件测试