formal method 形式方法
软件工程 释文 formal method 形式化方法
- rotoinversion axis; rotation-inversion axis
- Rotoitidae
- rotometer
- roton
- rotons
- roto-optic effect
- rotophore
- rotoplug
- rotor
- rotor axial thrust
- rotor blade of turbine
- rotor cipher
- rotorcraft
- rotor critical speed
- rotor dynamic balancing
- rotor folding test
- rotorforming
- rotor foundation platform
- rotor gyroscopic effect
- rotor inertia
- rotor loss
- rotor motor
- rotor of a vector field
- rotor of centrifugal compressor
- rotor of condenser