2) mail authentication
邮件认证
3) Authorization Plug-in Component
认证插件
5) hardware verification
硬件验证
1.
ANSI-C bounded model checker and hardware verification using CBMC;
ANSI-C语言的有界模型检测及其在硬件验证中的应用
2.
The traditional verification methods are: simulation, testing and emulation, but these methods are not complete, formal verification methods are used into hardware design, then formal hardware verification technology is produced.
随后对用HOL系统进行硬件验证和验证中的关键技术:抽象技术、层次化验证技术进行研究。
6) Certification
[英][,sɜ:tɪfɪ'keɪʃn] [美]['sɝtəfə'keʃən]
认证,证件,证书
补充资料：自愿性认证(见产品合格认证)
自愿性认证(见产品合格认证)
voluntary certification: see product conformity certification
Z叨anxing renzheng自愿性认证(volun娜cert讥cation)合格认证。见产品
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条