说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 标号迁移系统
1)  LTS
标号迁移系统
2)  timed labeled transition system
时间标号迁移系统
3)  labelled transition system
标号变迁系统
1.
Secondly, the basic theory, definition, and properties of the labelled transition system (LTS) are given.
然后 ,介绍标号变迁系统 (L TS)的形式化理论的定义和基本性质 ,利用 L TS,给出测试例、测试集以及测试生成的形式化定义 。
4)  Labeled transition system
标记迁移系统
1.
Labeled transition system is a formalism that is widely used in the literature of computer-assistant design and verification.
标记迁移系统是一种在计算机辅助设计和验证中得到广泛使用的形式模型。
2.
At the same time,the definition of weak invariant for labeled transition systems is given.
余代数上的不变量在理论计算机科学中占有十分重要的地位,本文借助文献[1]的思想建立弱不变量的定义,讨论了弱不变量的性质以及与不变量的关系;其次,定义标记迁移系统的弱不变量并证明这两种定义是等价的。
5)  system migration
系统迁移
例句>>
6)  STGA
带赋值符号迁移系统
1.
The method is based on symbolic transition graphs with assignment (STGA).
本文提出一种基于带赋值符号迁移系统STGA选取测试同步序列的方法。
补充资料：标号
①某些产品用来表示性能（大多为物理性能）的数字。如水泥因抗压强度不同，而有200号、300号、400号、500号、600号等各种标号。②泛指标志和符号。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条