Labeled Transition System的意思|示意

美 / / 英 / /

标记过渡系统

Labeled Transition System的网络常见释义

标号迁移系统 虽然π演算的行为通常被解释到一个标号迁移系统（Labeled Transition System）上，但在状态/事件混合系统的建模和推理中，需要扩展一般的标号迁移系统使它能够对系统行为（即：迁移标号）和系统状态（即：状态...

转换系统 7 ^_^ --- --- 例1.3 加标转换系统（labeled transition system）是流行的计算系统模 型。

生成标号迁移系统 ...语 tract Machine,E-CHAM)模型描述软件系统的体系结构;接着使用LTS状态树生成算法,生成标号迁移系统(Labeled Transition System,LTS)表示单一构件的动态行为;最后按照自底向上的集成测试策略完成了整个系统的测试。

Labeled Transition System相关短语

1、 timed labeled transition system 时间标号迁移系统

Labeled Transition System相关例句

Transition: Two system verification test cycles and one final regression cycle, labeled as TSVT1, TSVT2, and TSVTR

产品化：两个系统验证测试周期以及一个最终回归周期，被标注为：TSVT1、 TSVT2 和 TSVTR。