基于统计模型检测的 TcCBTC 移动授权建模与分析
林俊亭, 闵晓琴
Modeling and Analysis of TcCBTC Movement Authority Based on Statistical Model Checking
LIN Jun-ting, MIN Xiao-qin
控制工程 . 2023, (5): 803 -809 . 

京ICP备05021913号-100
版权所有 © 《控制工程》编辑部
地址：沈阳市东北大学310信箱　
邮编：110004　
电话：024-23883498（传真），024-83688973-16/17/18　
E-mail：kzgcbjb@mail.neu.edu.cn
技术支持：北京玛格泰克科技发展有限公司