1.
Model Checking Propositional Projection Temporal Logic with Infinite Model;
基于无穷模型命题投影时序逻辑的模型检查
2.
Research on Model Checking UML Statecharts and Tool Implementation;
UML状态图模型检查技术及工具实现
3.
Study of Scenario Graph and Attack Graph Based on Model Checking;
基于模型检查的场景图和攻击图研究
4.
SmartOSEK IDE3.0 and Its Model Checking and Codesign;
SmartOSEK IDE3.0及其模型检查和协同工作
5.
Research on Model-Checking and Testing Techniques of Software Vulnerability
软件脆弱性模型检查与测试技术研究
6.
Analyzing and Verifying Network Protocols by Model Checking
基于模型检查的网络协议分析与验证
7.
Research on object-oriented check method of CAD model
面向对象的CAD模型检查方法研究
8.
Research on Survivability of Information System Based on Model Checking Technology
基于模型检查技术的信息系统生存性研究
9.
Analysis and verif TCP connection management protocol based on model checking
基于模型检查的TCP连接管理协议分析与验证
10.
Identity of on-condition maintenance check interval based on function check model
基于功能检查模型的视情维修检查间隔的确定
11.
Improvement of model of focal cerebral ischemia in cat and establishment of functional examination model
猫局灶脑缺血模型的改进并建立功能检查模型
12.
econometric testing
根据计量经济模型式进行的检查
13.
Research on Query Feature Context Aware Information Retrieval Model;
基于查询特征上下文的检索模型研究
14.
Semantic Checking of UML Model Based on Ontology Reasoning
基于本体推理的UML模型语义检查
15.
Integrated Policy Model for Condition-Based Inspection and Maintenance
基于状态的检查与修理综合决策模型
16.
Query Expansion Model Based on Semantic Information Retrieval
基于语义的信息检索的查询扩展模型
17.
module check
模块检查,模块检验
18.
Enable semantic error checking to ensure that there are no semantic errors in the model.
启用语义检查，确保在模型中没有语义错误。