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

相关作者

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