QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 限定条件 内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Formal verification of fault-tolerant and recovery mechanisms for safe node sequence protocol 会议论文 Victoria, BC, Canada, May 13, 2014 - May 16, 2014 作者:  Zhou, Rui;  Min, Rong;  Yu, Qi;  Li, Chanjuan;  Sheng, Yong 收藏  |  浏览/下载：3/0  |  提交时间：2020/11/15 Embedded systems  Formal verification  Model checking  Recovery  Safety engineering  Event-triggered  Fault tolerant systems  Protocol state machines  Recovery mechanisms  Safety critical systems  Sequence protocols  System robustness  Verification results   Formal Verification of Fault-Tolerant and Recovery Mechanisms for Safe Node Sequence Protocol 会议论文 作者:  Zhou, Rui;  Min, Rong;  Yu, Qi;  Li, Chanjuan;  Sheng, Yong 收藏  |  浏览/下载：7/0  |  提交时间：2019/11/15 Safe Node Sequence Protocol  fault-tolerance  event-triggered protocol  model checking   software redundancy design for a human-machine interface in railway vehicles 会议论文 12th International Conference on Computer System Design and Operation in the Railways and other Transit Systems, COMPRAIL 2010, Beijing, China, August 31, Zheng G.; Chen J. 收藏  |  浏览/下载：15/0  |  提交时间：2011/03/31 Cost benefit analysis  Fault tolerance  Fault tolerant computer systems  Locomotives  Machine components  Machine design  Man machine systems  Railroads  Real time systems  Redundancy  Reliability analysis  Software design  Software reliability  Taxonomies  Vehicles