铁路通信信号工程技术_馆档网 关键词：RBC 时间自动机 UPPAAL 建模验证 [gap=556]Keywords: RBC, Timed automata, UPPAAL, and Modeling verification
基于1个网页-相关网页
modeling and verification 建模及验证
System Modeling and Verification 系统建模与校验
In addition to an intuitive appearance, graph grammars provide a well-established foundation for defining visual languages with the power of precise modeling and verification on computers.
除了具有直观易见的特点之外，图文法在计算机上的精确建模和验证能力，为设计可视化语言提供了一个坚实的理论基础。
Propese a real-time workflow time modeling and verification method based on timed automata.
提出一种基于时间自动机的实时工作流时间建模与验证方法。
The modeling and verification prove that the interation protocol can satisfy the requirement no matter the network is in normal or abnormal circumstances.
通过对联动协议进行建模和验证，证明联动协议无论在网络正常的情况下还是网络故障时都能满足需求。
应用推荐