形式化设计

作品数：24被引量：44H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：钱振江黄皓宋方敏李康杰刘苇更多>>
相关机构：南京大学常熟理工学院解放军信息工程大学伦敦大学更多>>
相关期刊：《电子机械工程》《控制理论与应用》《湖南包装》《小型微型计算机系统》更多>>
相关基金：国家自然科学基金江苏省高校自然科学研究项目江苏省“六大人才高峰”高层次人才项目国家高技术研究发展计划更多>>
只显示领域
只显示作品
只显示人物
只显示机构
只显示资助
只显示期刊
只显示主题
相关作者更多
钱振江
常熟理工学院计算机...
黄皓
南京大学计算机科学...
宋方敏
南京大学计算机科学...
李康杰
南京大学计算机科学...
刘苇
南京大学计算机科学...
唐洪英
南京大学计算机科学...
相关机构更多
相关主题更多