describe the norm of needing to verify with LTL (linear-time的翻译是：什么意思？中文翻译英文，英文翻译中文，怎么说？-青云在线翻译网

当前位置：首页 » 翻译

匿名	关注：1 2013-05-23 12:21 求翻译：describe the norm of needing to verify with LTL (linear-time temporal logic)是什么意思？待解决悬赏分：1 - 离问题结束还有 describe the norm of needing to verify with LTL (linear-time temporal logic) 问题补充：

匿名	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 需要验证零担（线性时序逻辑描述）规范

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

求翻译：describe the norm of needing to verify with LTL (linear-time temporal logic)是什么意思？