理学 模型检验 释 model checking 模型检验 对一个给定的软件或硬件系统建立模型后，需要对其进行行为上的可信性、动态性能的有效性、实验数据、可测数据的逼近精度、研究目的的可达性等问题的检验，以验证所建立的模型是否能够真实反映实际系统，或者说能够与真实系统达到较高精度的性能相似的技术。
model checking 模型检验
理论计算机科学 程序理论 释文 model checking 模型检查
- mechanotron
- mechatronic
- mechatronics
- mechatronics equipments
- mechatronics gyroscope
- Mechatronics of CNC Machine Tools
- mechatronics of robotic systems
- mechatronic system
- mechatronic systems modelling
- mechatronic systems simulation
- mechatronic system virtual prototyping
- mechlorethamine
- mechniques of ploughing,harrowing and leveling
- mechniques of ploughing, harrowing and pulverizing
- mech weave
- M. E. C. Jordan
- M. E. C. Jordan (1838—1922)
- Mecklenburg-West Pomerania
- MECM
- MECO
- m-ecommerce
- meconopsis horridulae herba
- mecroscopic characteristic length
- Mecury Surface
- medallion