排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
对CTCS-4的无线通信系统的故障恢复模型进行了研究,使用Event-B对CTCS-4无线通信系统的故障恢复过程进行建模.通过证明义务对模型的逻辑正确性和完备性进行验证,证明其可以满足要求. 相似文献
1