|
关注：1
2013-05-23 12:21
求翻译：Keywords : formal methods, VDM, digital ATC, track database, proof obligations, auto¬matic proofs是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
Keywords : formal methods, VDM, digital ATC, track database, proof obligations, auto¬matic proofs
问题补充： |
|
2013-05-23 12:21:38
关键词：正式的方法，VDM，数字ATC，跟踪数据库，举证责任，MATIC自动¬证明
|
|
2013-05-23 12:23:18
关键词:正规方法,vdm、数字空管、跟踪数据库,证明义务,自动¬-matic证明
|
|
2013-05-23 12:24:58
主题词： 正式方法， VDM，数字式ATC，轨道数据库，证明义务， auto¬matic证明
|
|
2013-05-23 12:26:38
关键词： 数字 ATC，VDM，正式方法跟踪数据库、 证明的义务、 auto¬matic 的证明
|
|
2013-05-23 12:28:18
关键字：正式方法， VDM，数字 ATC，足迹数据库，证据义务，汽车？伙伴的证据
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
