机译:组合逻辑的模型检查及其在移动系统中的应用
Temporal logic; Model checking; Combined logics; Mobile systems;
机译:模型检查移动随机逻辑
机译:模型检查移动随机逻辑
机译:使用动作的时间逻辑检查移动系统环境中的连接性
机译:符号和边界模型检查在逻辑控制系统验证中的应用
机译:将类型检查与模型检查相结合以进行系统验证
机译:模糊PID逻辑控制的无刷电机驱动控制系统的建模与仿真
机译:模型检查组合逻辑及其在移动系统中的应用