| 1. | Automatic inspection machine for piston ring tension
活塞环弹性自动检验机 |
| 2. | The development and application of automated fabric inspection system
织物自动检验系统的发展与应用 |
| 3. | Bace basic automatic checkout equipment
基本自动检验装置 |
| 4. | Etc automatic inspection system
Etc自动检验系统 |
| 5. | Checkout systems , automatic
自动检验系统 |
| 6. | Automatic plate check
板面自动检验设备 |
| 7. | Methods for ultrasonic examination of welds - automatic examination of fusion welded butt joints in ferritic steels
焊接超声检验方法.第2部分:铁素体钢熔焊对接接头自动检验 |
| 8. | Model checking is one of the formal verification techniques to verify the correctness of system , and it is also one of the most successful automatic verification techniques in recent 20 years
模型检测是近二十几年来最成功的自动检验技术之一,它是关于系统属性验证的算法和方法。 |
| 9. | The method of model checking is a formal verification technique using the method of state - space search to verify if the behaviors of a given system ( the model ) satisfy a certain property that represented by temporal logic formulas , while the system presented as a kripke structure
它通常采用状态空间搜索的方法来检测一个给定的计算模型是否满足某个用时序逻辑公式表示的特定属性。它是一个自动检验有限状态并发系统的技术。 |
