搜索到 篇“ 互模拟 “的相关文章

相关作者

姚从军
作品数：61被引量：83H指数：6
供职机构：中国社会科学院哲学研究所
研究主题：模态逻辑 互模拟 三值逻辑 公理 逻辑系统
傅育熙
作品数：37被引量：104H指数：6
供职机构：上海交通大学电子信息与电气工程学院软件学院
研究主题：进程代数 互模拟 并发计算 Π-演算 元模型
林惠民
作品数：29被引量：344H指数：6
供职机构：中国科学院
研究主题：互模拟 传值进程 计算机 进程代数 Π-演算
钟发荣
作品数：43被引量：30H指数：3
供职机构：浙江师范大学数理与信息工程学院
研究主题：网络可靠度 可靠性分析 进程代数 BDD 网络
李舟军
作品数：264被引量：1,831H指数：22
供职机构：北京航空航天大学计算机学院
研究主题：安全协议 数据挖掘 网络安全 形式化验证 信息检索