formal validation and verification
·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
更多双语例句