搜索到 篇“ 符号迁移图 “的相关文章

相关作者

林惠民
作品数：29被引量：327H指数：6
供职机构：中国科学院
研究主题：互模拟 传值进程 计算机 进程代数 Π-演算
李舟军
作品数：263被引量：1,782H指数：21
供职机构：北京航空航天大学
研究主题：安全协议 数据挖掘 网络安全 形式化验证 信息检索
陈火旺
作品数：242被引量：2,280H指数：25
供职机构：国防科学技术大学计算机学院
研究主题：人工智能 程序设计 计算机 遗传算法 软件工程
黄银强
作品数：6被引量：2H指数：1
供职机构：浙江师范大学数理与信息工程学院
研究主题：符号互模拟 进程代数 考试系统 形式化 符号迁移图
钟发荣
作品数：43被引量：28H指数：3
供职机构：浙江师范大学数理与信息工程学院
研究主题：网络可靠度 可靠性分析 进程代数 BDD 网络