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.
同时模型检测技术给出失效路径的优点可以引导我们纠正工作流的错误。
相关词汇
大家正在查
Copyright © 2023 256查询网 All Rights Reserved