1) web application automatic verification
Web应用自动化验证
2) automatic verification
自动化验证
1.
Research on Planning-based Automatic Verification Technology for Cryptographic Protocols;
基于规划的密码协议自动化验证技术研究
2.
This paper presents a method that constructs automatic verification environment by using pipeline model and function coverage.
针对"龙腾R2"微处理器验证过程中的存在验证规模大,人力资源不足的问题,采用流水线模型构建随机的指令序列生成器,搭建以功能覆盖率为导向的自动化验证平台;该平台在仿真验证过程中能根据处理器的运行状态及覆盖率实时地调整指令流以侧重当前验证不充分的功能模块,实现自动化验证;通过仿真,与传统方法相比,在达到同等验证程度的情况下,使用该平台验证周期明显缩短,同时验证覆盖率也有所提高。
3) Web Automatic
Web自动化
1.
A Model Based on Web Automatic for Distributed Resources Integration;
一种基于Web自动化的分布式资源集成模型
4) web automation
自动化Web
5) dynamic Web application
动态Web应用
1.
Content Delivery Network (CDN) adopts data replication or data caching methods to accelerate dynamic Web applications.
CDN对于动态Web应用的加速通常采用数据缓存或复制技术。
6) Automatic formalized verification
形似化自动验证
补充资料：后勤指挥自动化系统(见后勤指挥自动化)
后勤指挥自动化系统(见后勤指挥自动化)
automated system of logistic command
houqin zhihui zidonghua xitong后勤指挥自动化系统(automated、ys-tem of logistie eommand)见后勤指挥自动化。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条