协议形式化

作品数:24被引量:38H指数:4
导出分析报告
相关领域:自动化与计算机技术电子电信更多>>
相关作者:顾翔赵保华屈玉贵赵静邱建林更多>>
相关机构:中国科学技术大学兰州理工大学南通大学天津大学更多>>
相关期刊:《计算机工程与设计》《微电子学与计算机》《桂林理工大学学报》《计算机应用与软件》更多>>
相关基金:国家自然科学基金国家高技术研究发展计划江苏省高校自然科学研究项目博士科研启动基金更多>>
只显示领域
只显示作品
只显示人物
只显示机构
只显示资助
只显示期刊
只显示主题