go top

formal validation and verification

网络释义专业释义

  形式化描述和验证

形式化描述和验证

基于1个网页-相关网页

  • 形式化描述和验证

·2,447,543篇论文数据,部分数据来源于NoteExpress

双语例句

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

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

    www.ibm.com

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

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

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