UPPAAL-TRON 相关硕士博士期刊学术论文 - 搜论网

UPPAAL-TRON相关论文

基于在线一致性测试理论的CBTC车载ATO功能测试研究

自动列车驾驶系统(ATO)是CBTC系统的重要组成部分,验证测试其控制功能逻辑的正确性和安全性至关重要。介绍了ATO控制原理和功能,分......

期刊

在线一致性测试时间自动机 ATO UPPAAL-TRON 变异 online conformance testingtimed automataATOUPPA

看过本文同时还关注