2. 您的位置
3. 首页
4. 学位论文
5. EVENT-B方法在铁路车站连锁规范形式化建模与验证中的应用研究

EVENT-B方法在铁路车站连锁规范形式化建模与验证中的应用研究

来源 :西南交通大学 | 被引量 : 0次 | 上传用户：quiet11

【作 者】

：

张传东 

【出 处】

：

西南交通大学

【发表日期】

：

2018年09期

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

中国犬咬伤治疗急诊专家共识(2019)

期刊

新形势下大学生管理工作中存在的突出问题及解决路径探析

期刊

发酵中药——拓展中药材资源保护与利用的新途径

会议

Model-basedtrajectorytrackingcontrolforanelectrohydraulicliftingsystemwithvalvecompensationstrategy

期刊

美国在意大利反共心理战略计划的制订与实施——基于冷战时期美国心理战略委员会解密档案的考察

期刊

基于AHP-TOPSIS模型的京津冀家政服务人力资源供给质量评价研究网络首发

期刊

DC-CIK细胞治疗晚期肾癌临床疗效及预后分析

期刊

我国增值税逃税行为的影响因素研究

学位

基于结构光轨形检测的道岔在线识别方法研究

学位

氮、磷、维生素和微量金属对赤潮生物海洋原甲藻的增殖效应

期刊