This is similar to what is known as model checking.
这与我们所知道的模型检测相似。
Model checking is then used to check whether a program has a given property.
然后使用模型检查来检验一个程序是否有某个给定特性。
The technology of model checking based on mission flow is discussed in this paper.
对任务流模型检验技术进行了讨论。
Ontology model and ontology checking recently are still under hot discussion.
形式化的本体模型及其检验问题一直是人工智能中的研究热点。
Ontology model and ontology checking recently are still under hot discussion.
形式化的本体模型及其检验问题一直是人工智能中的研究热点。
应用推荐