形式化描述语言

作品数:23被引量:60H指数:3
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:赵保华屈玉贵刘政贾君枝卫荣娟更多>>
相关机构:中国科学院中国科学技术大学山西大学湖南大学更多>>
相关期刊:《中国新通信》《微电子学与计算机》《计算机应用与软件》《小型微型计算机系统》更多>>
相关基金:国家自然科学基金国家高技术研究发展计划中国科学院院长基金国家教育部博士点基金更多>>
只显示领域
只显示作品
只显示人物
只显示机构
只显示资助
只显示期刊
只显示主题