形式化描述语言
formal description language
独立形式描述语言
independent form description language
非形式化描述
non-formalization descriprion
形式化描述
formal description
formal specification
formalization description
formal description technique
Formalization
the formal description
Computer Formal discription
formal representation
criterion description
formalism description
形式化描述方法
formalized description method
formal specification method
Formal description method
形式化描述和验证
formal validation and verification
formal description 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
PDL
FDL Figure Description Language
figure description language
FDL