go top

formal methods and verification

网络释义

  形式化方法与验证

形式化方法与验证Formal Methods and Verification) 机器学习与知识表示(Machine Learning and Knowledge Representation) .

基于22个网页-相关网页

有道翻译

formal methods and verification

形式化方法与验证

以上为机器翻译结果,长、整句建议使用 人工翻译

双语例句

  • Some have short sections on validation and verification, but those simply point either to IEEE standards or other formal methods.

    其中几本教材中很少的篇幅涉及确认验证但是仅仅是简单的引用IEEE标准其他正式方法

    www.ibm.com

  • The formal description techniques for intelligent network (IN) service and the theory and methods in IN's service verification are the key technologies in IN's realization.

    智能网业务形式化描述技术业务验证理论方法目前智能网(IN)业务实现过程中的关键技术

    dict.cnki.net

  • Based on the ITU-T Intelligent Network CS Recommendation, the paper studies the formal description techniques (FDT) for in service and the theory and methods in in's service verification.

    本文依据国际电信联合委员会(itu - T)的智能网能力集建议智能网业务形式化描述技术(FDT)、智能网业务逻辑验证理论方法等进行了研究

    dict.cnki.net

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定