|
关注：1
2013-05-23 12:21
求翻译：made to ensure that the sizeable model is valid and trustworthy. A novel and efficient testing approach has been developed, based on automated forward proof and communication with ARM development boards.是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
made to ensure that the sizeable model is valid and trustworthy. A novel and efficient testing approach has been developed, based on automated forward proof and communication with ARM development boards.
问题补充： |
|
2013-05-23 12:21:38
以确保相当大的模型是有效的，值得信赖。已开发一种新型，高效的检测方法，基于自动化前进的证明和与ARM开发板的通信。
|
|
2013-05-23 12:23:18
为确保有效和可信的模式是相当大。 一个新的和有效的检测方法为基础制订了关于自动提出证据和通信与ARM开发板。
|
|
2013-05-23 12:24:58
做保证相当大的模型合法和信得过。 小说和高效率的测试的方法根据与胳膊发展委员会的自动化的向前证明和通信被开发了。
|
|
2013-05-23 12:26:38
作出确保可观的模型是有效和可靠。开发一种新型、 高效的测试方法，自动向前证明和 ARM 开发板与沟通的基础。
|
|
2013-05-23 12:28:18
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
