QQ客服 官方微博 反馈留言

浏览/检索结果: 共2条，第1-2条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Safety and Reliability Estimation of Automatic Train Protection and Block System 期刊论文 2014, 卷号: 30, 页码: 463-472 作者:  Xie, Guo;  Hei, Xinhong;  Mochizuki, Hiroshi;  Takahashi, Sei;  Nakamura, Hideo 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/20 safety  railway system  Automatic Train Protection and Block  formal methods  specification   Model Based Specification Validation for Automatic Train Protection and Block System 会议论文 2012 7TH INTERNATIONAL CONFERENCE ON COMPUTING AND CONVERGENCE TECHNOLOGY (ICCCT2012), 2012-01-01 作者:  Xie, Guo;  Hei, Xinhong;  Mochizuki, Hiroshi;  Takahashi, Sei;  Nakamura, Hideo 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/20 Railway signaling system  ATPB  functional requirements specification  correspondence  formal method