当前位置:首页 » 翻译 
  • 匿名
关注: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,足迹数据库,证据义务,自动检查
 
 
网站首页

湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区

 
关 闭