理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- turbulence in rotating flows
- turbulence manifold
- turbulence models
- turbulence spectrum
- turbulence theory
- turbulence, turbulent flow
- turbulence/turbulent flow
- turbulent
- turbulent bed
- turbulent boundary layer
- turbulent boundary layer on flat plate
- turbulent channel flow
- turbulent combustion
- turbulent combustion model
- turbulent diffusion
- turbulent diffusion coefficient
- turbulent displacement theory
- turbulent distortion
- turbulent dynamo
- turbulent element
- turbulent film condensation
- turbulent flame speed
- turbulent flow
- turbulent groundwater flow
- turbulent heating