Bounded Liveness的意思|示意
美 / /
英 / /
有界的活性
Bounded Liveness的网络常见释义
受限活性 ...L验证工具对客运 专线CTCS-3级RBC子系统进行仿真建模，并且对该 子系统模型的安全性（ Safety ）和受限活性（ Bounded Liveness ）进行验证，同时进行RBC切换时间的优化。