形式化描述语言
formal description language
独立形式描述语言
independent form description language
非形式化描述
non-formalization descriprion
形式化描述
formal description
formal specification
formalization description
the formal description
formal representation
formalism description
formal description technique
Computer Formal discription
Formalization
criterion description
形式化描述方法
formalized description method
Formal description method
formal specification method
形式化描述和验证
formal description and verification
formal validation and verification
形式化描述与验证方法
Formal Specification and Verification
形式描述语言
formal description language
形式语义语言
FSL Formal Semantic Language
作战任务形式化描述
Formal description of operational mission
服务语义描述语言
semantic annotation for WSDL
汉语形式语法
formal grammer for chinese
图形描述语言
picture description language
figure description language
FDL Figure Description Language
PDL
FDL