compositional model checking
英
美
- 组合模型检验
双语例句
- The researchers developed a mathematical model to examine the effects of a two-month treatment plan.
研究制定了数学模型检验两个月治疗方案的效果。 - Semantic-oriented metadata model checking aims to judge whether a metadata model to be constructed is consistent semantically.
面向语义的元数据模型检验用于判断待建元数据在语义上是否一致。
相关词汇
大家正在查
Copyright © 2023 256查询网 All Rights Reserved
