Model Checking Software的意思|示意
模型检测软件
Model Checking Software的网络常见释义
模型检验软件 Model Checking Software模型检验软件 Visual Form 01直观的形式01 Automated Deduction in Geometry几何学的自动演绎 ..
模型检查软件 Model checking software(模型检查软件) The Weather Prophet (Common Reader Editions)(乘风破浪——勇闯加勒比海岛) Weihnachtsbaum (Christmas Tree): 12 Pieces for...
Model Checking Software相关短语
1、 Model Checking for Software 软件模型检测
2、 software model checking 软件模型检测
Model Checking Software相关例句
When using in the model driven architecture (MDA) service platform, the correctness and high-performance of the model checking software based on the mechanism are also testified.
模型验证软件通过在模型驱动架构(MDA)业务平台中的测试证明了该验证机制的正确性和高效性。
Temporal logics are widely used in software verification and model checking.
时态逻辑在软件确认和模型检查中有广泛的应用。
Aiming at the state explosion problem existed in the software model checking, a scheme of applying program conditioning to reduce the state space of programs was proposed.
针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案。
The problems of software process model rationality checking based on UML activity graph are discussed.
阐述了使用UML活动图进行软件过程建模需要解决的合理性检测问题。
The mathematical model and algorithm of designing and checking a coil heat exchanger in a stirred tank are given, and the relevant software is worked out.
介绍了蛇管换热器设计与校核计算的数学模型、算法及开发的相应软件。