理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- steam turbine
- steam turbine auxiliary system
- steam turbine body
- steam turbine by-pass system
- steam turbine carrier
- steam turbine control system
- steam turbine cover enclosure
- steam turbine cylinder
- steam turbine diaphragm
- steam turbine fault
- steam turbine flange
- steam turbine flow passage thermal calculation
- steam turbine for air cooling
- steam turbine for cogeneration
- steam turbine for feed-water pump
- steam turbine governing system
- steam turbine nozzles
- steam turbine overspeed
- steam turbine performance test
- steam turbine power
- steam turbine protection system
- steam turbine rotor
- steam turbine seal
- steam turbine shaft seal
- steam turbine sliding key system