Keywords : formal methods, VDM, digital ATC, track database,的翻译是：什么意思？中文翻译英文，英文翻译中文，怎么说？-青云在线翻译网

当前位置：首页 » 翻译

匿名	关注：1 2013-05-23 12:21 求翻译：Keywords : formal methods, VDM, digital ATC, track database, proof obligations, automatic proofs是什么意思？待解决悬赏分：1 - 离问题结束还有 Keywords : formal methods, VDM, digital ATC, track database, proof obligations, automatic proofs 问题补充：

匿名	2013-05-23 12:21:38 关键词：形式化方法，VDM，数字ATC，跟踪数据库，举证责任，证明自动

匿名	2013-05-23 12:23:18 关键词:正规方法,vdm、数字空管、跟踪数据库,证明义务,自动证明

匿名	2013-05-23 12:24:58 主题词：正式方法， VDM，数字式ATC，轨道数据库，证明义务，自动证明

匿名	2013-05-23 12:26:38 关键词：数字 ATC，VDM，正式方法跟踪数据库、证明的义务、自动证明

匿名	2013-05-23 12:28:18 关键字：正式方法， VDM，数字 ATC，足迹数据库，证据义务，自动检查

本站所有资料来源于互联网，如有侵权，请联系本站，青云翻译网沪ICP备07509807号-1 鄂公网安备42018502000813号

求翻译：Keywords : formal methods, VDM, digital ATC, track database, proof obligations, automatic proofs是什么意思？