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)业务平台中的测试证明了该验证机制的正确性和高效性。

youdao

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)业务平台中的测试证明了该验证机制的正确性和高效性。

youdao