系统验证 meaning in Chinese
system verification
Examples
- A fuzzy petri net model based on mycin system
网结构的规则系统验证方法 - On validation of underwater acoustic warfare simulation system
水声对抗仿真系统验证的研究 - A verification method for finite states systems based on temporal logic
一种基于时态逻辑的有限状态系统验证方法 - If you use login controls , they will automatically use the membership system to validate a user
如果使用登录控件,它们将自动使用成员资格系统验证用户。 - Bounded model checking has been recently introduced as an efficient verification method for reactive systems
Ctl的有界模型检测模型检测是一种强有力的系统验证技术。