形式化规范

作品数：21被引量：20H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：吕述望沈昌祥郑援胡成军袁春阳更多>>
相关机构：中国科学院研究生院华东师范大学中国科学院软件研究所中国人民解放军海军计算技术研究所更多>>
相关期刊：《上海交通大学学报》《兵工自动化》《信息网络安全》《中国科学技术大学学报》更多>>
相关基金：国家重点基础研究发展计划国家高技术研究发展计划国家自然科学基金黑龙江省自然科学基金更多>>
只显示领域
只显示作品
只显示人物
只显示机构
只显示资助
只显示期刊
只显示主题
相关作者更多
吕述望
中国科学院研究生院...
沈昌祥
中国人民解放军海军...
郑援
中国人民解放军海军...
胡成军
中国科学院研究生院...
袁春阳
中国科学院软件研究...
贺也平
中国科学院研究生院
相关机构更多
相关主题更多