1.
Temporal Logic Property Verification for SystemC Designs
基于SystemC的时态逻辑属性验证方法研究
2.
Dynamic model of normative multi-agent system and its property verification mechanism
规范多agent系统动态模型及其属性验证机制
3.
"Verify your dialing properties by selecting the Settings option.
"选择“设置”选项以验证拨号属性。
4.
"There was an error writing the log authentication requests property.
"写入“日志身份验证请求”属性出错。
5.
Authorization rule has an unrecognized attribute
身份验证规则具有无法识别的属性
6.
Theoretical and Experimental Study on the Nature of Cold or Hot of the Chinese Herb "Zhishi";
枳实寒热属性的文献考证与实验研究
7.
Verification Method Based on Property Checking of SystemC Design
一种基于SystemC属性检查的验证方法
8.
Simulation Study on the Dry Friction Characteristics of Metallic Materials Based on Test
金属材料干摩擦特性仿真方法与试验验证
9.
Property level validation as used in the scenario above is very useful for validating individual properties on a data model class.
以上场景中的属性级验证对验证数据模型类的彼此独立的属性非常有用。
10.
Property indicating which hash algorithm to use when authenticating the message.
表示验证消息时要使用的散列算法的属性。
11.
Methods for material assignment of femoral neck finite element analysis and its valid confirmation
股骨颈有限元分析的赋材料属性方法探讨及有效性验证
12.
You may check the properties of already installed hardware or add a new hardware device.
您可以验证已经安装的硬件的属性或添加一个新硬件设备。
13.
"Property that specifies the digital signature used to authenticate the message. The type is an array of bytes.
"指定用来验证消息的数字签名的属性。类型是一个字节数列。
14.
The properties of this document cannot be saved. The server is not available, or your account cannot be authenticated
无法保存文档属性。服务器不可用或无法验证您的帐户
15.
Determines whether attribute items validated by a local declaration must be namespace-qualified or not.
确定由局部声明所验证的属性项是否必须以命名空间限定。
16.
Unable to find the e-mail server. Please verify the server information in your account properties.
找不到电子邮件服务器。请在您的帐户属性里验证服务器信息。
17.
The custom authentication method selected must be initialized by pressing Properties.
必须按“属性”来初始化所选的自定义身份验证方法。
18.
The custom authentication method selected must be initialized by pressing Properties.\0
必须按“属性”来初始化所选的自定义身份验证方法。\0