理学 形式化方法 释 formal methods 形式化方法 基于严格的数学基础，对计算系统和应用进行规约、开发和验证的方法。
formalization method 形式化方法 logistic method 逻辑斯谛方法，形式化方法
软件工程 释文 formal method 形式化方法
- brachial plexus injury
- brachidium
- brachiopods
- brachistochrone
- brachistochrone problem
- Brachium
- brachyanticlinal
- brachy-axis
- brachyaxis
- brachydactyly
- brachydome
- brachymedial
- brachypinacoid
- brachypodium distachyon
- brachyprism
- brachypyramid
- brachysynclinal
- brachytelescope
- brachytherapy
- brachytherapy afterloading equipment
- brachytherapy room
- bracing structure with double-row piles
- Brack
- bracken fern family
- bracken poisoning