当前位置：首页 » 翻译 
  • 匿名
关注：1 2013-05-23 12:21

求翻译：There are three steps of model checking: modeling, prop-erty description, and verification. The most important is how to build the system model.是什么意思？

待解决 悬赏分：1 - 离问题结束还有
There are three steps of model checking: modeling, prop-erty description, and verification. The most important is how to build the system model.
问题补充：
  • 匿名
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
有三个步骤的模型检查:建模、主张的财产证说明和验证。 最重要的是如何构建系统模型。
 
热门同步练习册答案
 
网站首页

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

 
关 闭