formulating properties in temporal logic [37] and conducting的翻译是：什么意思？中文翻译英文，英文翻译中文，怎么说？-青云在线翻译网

当前位置：首页 » 翻译

匿名	关注：1 2013-05-23 12:21 求翻译：formulating properties in temporal logic [37] and conducting model checking是什么意思？待解决悬赏分：1 - 离问题结束还有 formulating properties in temporal logic [37] and conducting model checking 问题补充：

匿名	2013-05-23 12:21:38 制订时序逻辑的属性[37]，并进行模型检查

匿名	2013-05-23 12:23:18 制定物业的时间逻辑[37]和进行模型检查

匿名	2013-05-23 12:24:58 在世俗逻辑(37)公式化物产和进行模型检查

匿名	2013-05-23 12:26:38 制定时序逻辑 [37] 中的属性和进行模型检验

匿名	2013-05-23 12:28:18 正在翻译，请等待...

本站所有资料来源于互联网，如有侵权，请联系本站，青云翻译网沪ICP备07509807号-1 鄂公网安备42018502000813号

求翻译：formulating properties in temporal logic [37] and conducting model checking是什么意思？