go top

formal description and verification

网络释义

  形式化描述和验证

形式化描述和验证

基于1个网页-相关网页

有道翻译

formal description and verification

形式描述和验证

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

双语例句

  • 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

  • The precise formal description is the basement of the research, and all the analysis and verification behind are based on it.

    精确形式化描述整个研究基石,后面分析验证基于形式化描述。

    www.fabiao.net

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

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

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