作者：权庆乐 胡晓辉证明义务
摘要：对C煳的无线通信系统的故障恢复模型进行了研究，使用Event-B对C棚无线通信系统的故障恢复过程进行建模．通过证明义务对模型的逻辑正确性和完备性进行验证，证明其可以满足要求．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《兰州交通大学学报》（双月刊）创刊于1959年，由甘肃省教育厅主管，兰州交通大学主办，CN刊号为：62-1183/U，自创刊以来，颇受业界和广大读者的关注和好评。 《兰州交通大学学报》坚持发展科学技术，促进学术交流，弘扬优秀文化的办刊宗旨；坚持科学、严肃、求实、创新的办刊方针；坚持高校学报的学术性、科学性、导向性和创新性。主要刊登校内外教师和科研、学术工作者的优秀论文。
部级期刊
人气 259292 评论 46
省级期刊
人气 147839 评论 67
人气 90929 评论 48
人气 72597 评论 50
