...层(temporal layer),是语言的核心层,用于实现语言的主要功能,即描述设计模块的多个状态的时序属性;c)验证层(verification layer),是与验证工具紧密结合的语言层,用于指示验证工具验证时序层所描述的模型属性规约;d)建模层(modeling layer),为验证过程所需的测...
基于20个网页-相关网页
Instead of replacing the standard Linux authentication process, the approach used here will introduce another layer of verification based on the user name.
本文中使用的方法不会取代标准的Linux验证过程，而是在用户名的基础上引入另一个验证层次。
It sets up encryption, integrity verification, and (optionally) compression and exposes to the upper layer an API for sending and receiving plain text packets.
它设置加密、完整性验证和(可选)压缩并向上层公开一个用于发送和接收纯文本数据包的API。
Data layer realizes data index, data operation and data verification.
实现数据检索、数据操作、数据验证。
应用推荐