形式化分析

作品数：444被引量：1032H指数：13
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王亚弟文静华韩继红冯登国张玉清更多>>
相关机构：解放军信息工程大学西安电子科技大学贵州大学中国科学院研究生院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家科技重大专项更多>>
只显示领域
只显示作品
只显示人物
只显示机构
只显示资助
只显示期刊
只显示主题
相关作者更多
王亚弟
解放军信息工程大学...
文静华
贵州财经大学信息学...
韩继红
解放军信息工程大学...
冯登国
中国科学院软件研究...
张玉清
清华大学信息科学技...
周明天
电子科技大学计算机...
相关机构更多
相关主题更多