首页> 外文OA文献 >An Approach to Generating and Verifying Complex Scripts and Procedures

【2h】

An Approach to Generating and Verifying Complex Scripts and Procedures

机译：一种生成和验证复杂脚本和过程的方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
James L. Rash; Michael G. Hinchey; Denis Gračanin; Christopher A. Rouff;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. An Approach for Selecting Candidates in Soft-handover Procedure Using Multi-Generating Procedure and Second Grey Relational Analysis [J] . Hsing-Chung Chen (Jack Chen), Neng-Yih Shih Computer Science and Information Systems . 2014,第3期

机译：利用多生成程序和二次灰色关联分析的软切换程序中候选者的选择方法
2. A hierarchical verification approach to verify complex safety control systems based on STAMP [J] . Han Xiao, Tang Tao, Lv Jidong Science of Computer Programming . 2019,第MARa1期

机译：一种基于STAMP的复杂安全控制系统的分层验证方法
3. Large eddy simulation of a turbulent non-premixed flame based on the flamelet-generated manifolds approach and a reduced mechanism verification [J] . Xing Yunfei, Zhang Teng, Tian Zemin, Aerospace science and technology . 2020,第Octa期

机译：基于轰炸机生成的歧管方法的湍流非预混火焰的大型涡流模拟及减少机制验证
4. An approach to generating and verifying complex scripts and procedures [C] . Rash, J.L., Hinchey, . 2005

机译：一种生成和验证复杂脚本和过程的方法
5. Approach to coverage-driven functional verification of complex multimillion gate ASICs [D] . Hermas, Wael 2006

机译：复杂的数百万门ASIC的覆盖驱动功能验证方法
6. A novel approach to spinal anaesthesia to avoid aerosol‐generating procedures in a patient with COVID‐19 presenting for laser prostate surgery [O] . Z. Oon, C. Ha 2020

机译：一种新的脊髓麻醉方法以避免患者在激光前列手术中患者患者气溶胶产生程序
7. Multi-script Off-line Signature Verification: A Two Stage Approach [O] . Pal Srikanta, Pal Umapada, Blumenstein Michael 2013

机译：多脚本离线签名验证：一种两阶段方法
8. Automatically generating procedure code and database maintenance scripts [R] . Hatley, J. W. 1994

机译：自动生成过程代码和数据库维护脚本

An Approach to Generating and Verifying Complex Scripts and Procedures

著录项

引文网络

相似文献

相关主题

期刊订阅