道岔自动控制相关硕士博士期刊学术论文 - 搜论网

道岔自动控制相关论文

活性顺序图规约到时间博弈自动机模型的转换方法研究与工具实现

活性顺序图(Live Sequence Chart,LSC)是一种基于场景的形式规约语言，可以直观且精确地刻画系统构件间的交互行为，常用于反应式系统......

学位

时间博弈自动机等价转换活性顺序图一致性检测道岔自动控制

看过本文同时还关注