您要查找的是不是:
- This paper introduces the principle and methods of model checking and focuses on how to validate the correctness of a microprocessor PIC by VIS Equivalence of part design of PIC is proved, an important feature of PIC is verified and a bug is found. 文中介绍了符号模型检验的基本原理和方法 ;重点介绍如何用 VIS系统验证微处理器 PIC设计的正确性 .;利用 VIS证明了 PIC设计部分电路的等价性;发现了一个设计错误并证明了 PIC中一些重要模块的特性
- I cannot vouch for the correctness of the transcript of proceeding. 我不能担保诉讼的官方记录是正确的。
- He has all manner of model planes. 他有各式各样的模型飞机。
- She has no doubt as to the correctness of her own estimate. 她对自己所作估计的正确性确信无疑。
- He holds the title of model hunter for the number of wolves he has killed. 由于他打死了不少狼,他享有模范猎手的称号。
- I doubt the correctness of fighting. 我怀疑打的正确性。
- The correctness of this decision may be doubted. 此项决定是否正确值得怀疑。
- What type of model are you interested in ? 您喜欢哪种车型的车?
- It proved the Correctness of the protocol. 最后证明了该协议算法的正确性。
- Yes, I want to buy a computer of Model LX P590. 我想买一台lx590型的计算机。
- Study of model well test for acoustic log. 声波测井模型井实验研究。
- She had no doubt as to the correctness of her own estimate. 她对自己所作估计的正确性确信无疑。
- Children have more need of model than critic. 责儿不济事,榜样有力量。
- Test of Model JH axial flow stirring paddle. JH型轴流式搅拌桨的试验研究
- What kind of model do you have in mind? 你想租用什么类型的车呢?
- The static stress test verifies the correctness of the model. 最后通过静态应力试验验证该模型的正确性。
- What type of model are you interested in? 您喜欢哪种车型的车?
- Notation ?visual rendering of model elements. 标志-视觉模型单元使变为。
- Something that confirms or denies the correctness of a previous check. 复查,复核对前面检查的正确性进行确定或否认的东西
- Industry washing machine of model XGP series ... XGP型系列工业洗衣机.