说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 测试集形式化描述语言
1)  formalization language of test suite
测试集形式化描述语言
2)  formal description language
形式化描述语言
例句>>
3)  conformance test language(CTL)
测试例描述语言
4)  test description language
测试描述语言
1.
Development of test description language based on unit under test model;
基于UUT模型的测试描述语言的开发
5)  RFDL(recipe formal definition language)
处方形式化描述语言(RFDL)
6)  formal description language
形式描述语言
1.
LOTOS is a specification language that aims at describing the dynamic behavior of complex systems(formal description language).
LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言),是可操作的。
补充资料：形式化语言


形式化语言
formalized language

　　形式化语言【匆翻阅石2曰h瑰，吧e;巾opMa月。300aN。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条