CBTC系统通信协议的设计和形式化分析

北京交通大学硕士学位论文CBTC系统通信协议的设计和形式化分析姓名：刘雨申请学位级别：硕士专业：交通信息工程及控制指导教师：唐涛20071201CBTC系统通信协议的设计和形式化分析作者：刘雨学位授予单位：北京交通大学本文读者也读过(10条)1.袁彬彬CBTC中轨旁安全计算机的设计与形式化验证[学位论文]20082.滕竹基于EFSM的CBTC通信协议一致性测试的研究[学位论文]20083.杨景蓝PROFIBUS安全协议的研究[学位论文]20064.刘朔CBTC系统移动授权生成的建模与实现[学位论文]20075.郭文章ATS系统内部通信协议的设计及形式化验证[学位论文]20096.陆启进基于有色Petri网的CBTC车载设备应用软件的建模与分析[学位论文]20077.罗锋CBTC系统中的身份认证研究[学位论文]20108.舒安洁CBTC信息安全传输的研究[学位论文]20069.高霖CBTC区域控制系统中列车管理的建模与分析[学位论文]200710.谢光玮CBTC中802.11的干扰分析与仿真[学位论文]2009引用本文格式：刘雨CBTC系统通信协议的设计和形式化分析[学位论文]硕士2007