形式化规约

作品数：25被引量：50H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：黄志球陈振庆张德运肖健宇祝义更多>>
相关机构：南京航空航天大学贺州学院西安交通大学北京大学更多>>
相关期刊：《计算机工程与设计》《中南林业科技大学学报》《制造业自动化》《高技术通讯》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划广西高校优秀人才计划项目江苏省高校自然科学研究项目更多>>
只显示领域
只显示作品
只显示人物
只显示机构
只显示资助
只显示期刊
只显示主题
相关作者更多
黄志球
南京航空航天大学计...
陈振庆
贺州学院计算机科学...
张德运
西安交通大学电子与...
肖健宇
西安交通大学电子与...
祝义
江苏师范大学
陈哲
软件新技术与产业化...
相关机构更多
相关主题更多