形式化建模与验证

作品数：43被引量：97H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：熊焰黄文超郭建王国辉刘宁更多>>
相关机构：华东师范大学北京交通大学西南交通大学兰州交通大学更多>>
相关期刊：《计算机仿真》《航空计算技术》《计算机技术与发展》《铁路通信信号工程技术》更多>>
相关基金：国家自然科学基金中央高校基本科研业务费专项资金国家重点基础研究发展计划中央级公益性科研院所基本科研业务费专项更多>>
只显示领域
只显示作品
只显示人物
只显示机构
只显示资助
只显示期刊
只显示主题
相关作者更多
熊焰
中国科学技术大学计...
黄文超
中国科学技术大学计...
郭建
华东师范大学
王国辉
首都师范大学信息工...
刘宁
西南交通大学
关永
首都师范大学信息工...
相关机构更多
相关主题更多