英语词汇“model ehecking”的翻译、意思、用法、释义-英汉汉英双解词典

词汇	model ehecking
释义	model ehecking 基本例句模型检测 When the throughness is not satisfied by the workflow, model checking can give a counterexample which can guide us to correct the workflow.同时模型检测技术给出失效路径的优点可以引导我们纠正工作流的错误。
随便看	variable reluctance stepper motor variable-reluctance stepper motor variable reluctance stepping motor variable reluctance stepping motors variable reluctance transducer variable-reluctance transducer variable reluctance transduction lement variable reluctance type rotor variable-reluctance type rotor variable reluctive transducer variable renaming variable rental rate contract variable replacement variable representation base variable reproduction ratio key variable reserve variable reserve system variable resistance variable-resistance variable-resistance accelerometer variable resistance arm variable-resistance arm variable resistance attenuator variable resistance box variable-resistance box