您要查找的是不是:
- Song has made an extension to SSM and has developed an automatic verification tool, ATHENA. Song对串空间模型进行了扩展,并开发了安全协议自动验证工具ATHENA。
- This system implements the automatic verification, shortens the time of verification and has an important signification to the accurate launch of missile. 该系统实现了导弹瞄准设备的自动化检定,缩短了检定时间,对导弹精确发射具有重大意义。
- The configuration and it s software design of an automatic verification &calibration system of DMM are presented in this paper. 本文介绍了一种数字多用表的自动检定校准系统的构成及软件设计,并对系统软件的设计方法,主要功能及主要特色进行了讨论。
- The working principle and operating method of a newly developed automatic verification tester for SF6 density relay was introduced. 介绍了最新研制的一种SF6密度继电器自动校验仪的工作原理及使用方法。
- The configuration and it s software design of an automatic verification & calibration system of DMM are presented in this paper. 本文介绍了一种数字多用表的自动检定校准系统的构成及软件设计,并对系统软件的设计方法,主要功能及主要特色进行了讨论。
- This method applies aspect-oriented programming technique to allow a highly separation and modular of test codes. It is also integrated with automated testing framework to support an automatic verification procedure. 该方法采用面向方面编程技术、分离和封装测试代码 ;结合自动化测试框架 ;完成对系统的自动化验证 .
- Abstract: This paper presents the system configuration,operation principle and software design of the automatic verification system for the special-purpose aiming equipment.It analyses and evaluates the uncertainty of measurement also. 文摘:介绍了专用瞄准设备自动检定系统的系统配置、工作原理及软件设计,并对系统的测量不确定度进行了分析和评定。
- With SSM someone has developed an automatic verification tool, ATHENA, which is able to prove the correctness of some authentic and secret protocols, suffered from seriously state space explosion problem and do an imperfect work on secret protocols. 基于此模型开发的自动验证工具ATHENA已经实现了对协议的认证性特性验证,但未能克服模型检测方法所造成的状态空间严重爆炸的问题,对秘密性协议的证明也是不完善的。
- However, BPEL4WS is lacking a formal, well understood basis and due to this and the rich set of constructs, specifications written in BPEL4WS are not readily susceptable to automatic verification. 然而,BPEL4WS缺少规范的,容易理解的基础,并且由于这些和丰富的结构体集合,在BPEL4WS中所写的规范不能立即自动的验证。
- Research on Automatic Verification of Standard Cell 标准电池自动检定装置的研制
- Automatic verification of metastability effect 声称是面向自动化验证亚稳态效应
- web application automatic verification Web应用自动化验证
- Development of automatic verification system for sound level meter 声级计自动检定系统设计
- Automatic Verification System for Special-purpose Aiming Equipment 专用瞄准设备自动检定系统
- A 4-speed automatic transmission is optional. 四段自动变速器是可自由选择的。
- He plans to import an automatic bobbin loader.. 他计划进囗一架自动装线机。
- We get an automatic increase in pay every year. 我们的薪金每年会自动增长。
- Automatic Verification of a Class of Concurrent Real-Time Systems 一类并发实时系统的自动验证
- Automatic Verification System of Drug Purchase Order and Receipt 药品采购计划单及发票自动核销系统
- Automatic modification of the index register. 自动修改变址寄存器内容。