网站首页  词典首页

请输入您要查询的英语单词:

 

单词 model checking
释义
  • model checking

    • 英?[?m?d?l ?t?eki?]
    • 美?[?mɑdl ?t??k??]

    释义

    • 模型校验
  • 实用场景例句

    • 全部

    Model checking is a formal analysis technique with high automation.

    模型检验是一种自动化程度很高的形式化分析技术.

    互联网

    Model checking is a technique for automatically verifying finite - state concurrent systems.

    模型检验是自动检验有限状态并发系统的技术.

    互联网

    Characteristics, classification and application of automobile master model checking fixture were introduced.

    介绍了汽车主模型检具的特点 、 分类和应用.

    互联网

    We analyse the security of e - commerce protocols in failure environments using the model checking approach.

    本文用模型检测的方法分析了不可靠环境下 电子商务 协议的安全性质.

    互联网

    For this part , we also present a model checking method forappropriateness of the Clayton assumption.

    我们也针对此模式假设,提出模型检验的方法.

    互联网

    So, how to solve the problem is an important part of model checking approach.

    因此, 如何解决好这个问题,是模型检验方法的重要部分.

    互联网

  • 行业词典

    • 自动化

      模型校验???

随便看

 

英汉翻译词典包含4367426条英汉汉英翻译词条,基本涵盖了全部常用英语单词及常用语的翻译及用法,是英语学习的有利工具。

 

Copyright © 2003-2024 grboi.com All Rights Reserved
京ICP备2021023879号 更新时间:2024/12/22 22:45:46