1.
A Statechart Verification Tool for Automotive Electronics-Smart Automata;
支持汽车电子的状态图验证工具—Smart Automata
2.
Modeling and Verification of the Workflows Based on UML-Statecharts;
基于UML状态图的工作流建模与验证
3.
Formalization and Consistency Checking of UML-Statechart Based on DL-Safe Rule
基于DL-Safe规则的UML状态图形式化和一致性验证
4.
Verifying Algorithm of Equivalence Based on State Transfer Graph's Isomorphism Solving
基于状态转换图同构求解的等价性验证算法
5.
Verification Method of Concurrent Workflows Based on Extended UML Statecharts
一种基于扩展UML状态图的并发工作流验证方法
6.
The view state validation key or decryption key in config database is invalid.
配置数据库中的视图状态验证密钥或解密密钥无效。
7.
Research on methods of generating image for verification code by programming in ASP.NET
ASP.NET中动态生成验证码图片的方法研究
8.
Specify whether the approval status for each route will be displayed as authentication stamps or in a graphical manner.
指定是将每个路由的批准状态显示为验证标记还是以图形方式显示。
9.
The Research and Application of OCSP-based Online Certificate Status Validation System;
基于OCSP的在线证书状态验证系统的研究与应用
10.
Research on Directory Service and Online Certificate Status Validation System;
目录服务与在线证书状态验证系统研究
11.
Research on LDAP-Based Implement of Online Certificate Status Verification
基于LDAP的在线证书状态验证实现技术研究
12.
Figure is an example of a two-way PAP authentication configuration.
图是一个二阶段式密码验证协定的验证组态例子。
13.
The trust has been validated. It is in place and active.
该信任已经过验证。它已到位并处于活动状态。
14.
The outgoing trust has been validated. It is in place and active.
传出信任被验证。它已到位并处于活动状态。
15.
"The trust has been verified. It is in place and active.
"该信任已经过验证。它在已到位并处于活动状态。
16.
NOTE: Couldn't verify the instantiated/uninstantiated state of these replicas.
注意: 不能验证副本集的实例/非实例状态。
17.
The wizard is verifying state of each target server. Please wait...
本向导正在验证每个目标服务器的状态。请等待...
18.
Research and Implementation of Workflow Verification Based on State Transformation
基于状态转换的工作流验证的研究与实现