|
关注：1
2013-05-23 12:21
求翻译：When verifying system properties, it is also necessary to argue that the model captures those aspects that are relevant for the property we are verifying.是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
When verifying system properties, it is also necessary to argue that the model captures those aspects that are relevant for the property we are verifying.
问题补充： |
|
2013-05-23 12:21:38
验证系统属性时，它也是必要的，认为模型捕获的财产，我们正在核实有关的那些方面。
|
|
2013-05-23 12:23:18
当校验系统属性,也有必要说,有关的方面的模型捕获的物业我们正在核实。
|
|
2013-05-23 12:24:58
当核实系统特性时，争辩说也是必要的，模型夺取是与物产相关我们核实的那些方面。
|
|
2013-05-23 12:26:38
验证系统属性，时，还需要辩称该模型可以捕获有关的属性，我们正在核查那些方面。
|
|
2013-05-23 12:28:18
确认系统财产时，它也有必要主张模型获取对财产是相关的那些方面我们确认。
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
