英语词汇“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.同时模型检测技术给出失效路径的优点可以引导我们纠正工作流的错误。
随便看	modioliformis Modiolinae Modiolopsis modiolus modiolus agripetus Modiolus auriculatus modiolus cochleae modiolus, cochlear axis Modiolus comptus Modiolus elongatus Modiolus flavidus Modiolus hanleyi Modiolus metcalfei Modiolus modiolus Modiolus nipponicus Modiolus philippinarum Modiolus plicatus modioluss Modiolus sirahensis Modiolus vagina modiomorphid modiomorphids modiooli modi operandi modip