公式重写相关硕士博士期刊学术论文 - 搜论网

公式重写相关论文

运行时验证及其在列车运行控制系统中的应用

运行时验证是一种将模型检验方法与测试相结合的轻量级验证技术,它能够有效地降低系统验证的复杂度,提供系统运行阶段的安全保障,......

期刊

模型检验测试多值逻辑公式重写列车运行控制系统 model checking test multi-valued logic formula rew

看过本文同时还关注