VERA: an experiment to derive a cost-effective verification process

被引：0
|
作者：
不详
机构：
来源：
GEC REVIEW | 1999年 / 14卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：65 / 67
页数：3
相关论文
共 50 条
  • [1] Maintainability Verification for Cost-Effective Execution
    Brown, Justin
    Kelly, Chance
    2018 ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS), 2018,
  • [2] Cost-effective methanol process commercialized
    不详
    HYDROCARBON PROCESSING, 1999, 78 (07): : 35 - 36
  • [3] A cost-effective DUV PSM process
    Tzu, SD
    Chiu, CS
    Yoo, CS
    Wang, JJ
    PHOTOMASK AND X-RAY MASK TECHNOLOGY VI, 1999, 3748 : 358 - 362
  • [4] THC: Practical and Cost-Effective Verification of Delegated Computation
    Rauzy, Pablo
    Nehme, Ali
    CRYPTOLOGY AND NETWORK SECURITY, CANS 2021, 2021, 13099 : 513 - 530
  • [5] ClawZ: Cost-effective formal verification for control systems
    Adams, MM
    Clayton, PB
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3785 : 465 - 479
  • [6] DAY-CARE EXPERIMENT PROVES COST-EFFECTIVE
    KAPLAN, M
    HOSPITALS, 1981, 55 (05): : 101 - 104
  • [7] Cost-Effective Learning for Cost-Effective Care?
    Walsh, Kieran
    ACADEMIC MEDICINE, 2011, 86 (12) : 1485 - 1486
  • [8] Process requirements for cost-effective precision grinding
    Rowe, WB
    Ebbrell, S
    Morgan, MN
    CIRP ANNALS-MANUFACTURING TECHNOLOGY, 2004, 53 (01): : 255 - 258
  • [9] IMPROVING MANUFACTURING BY COST-EFFECTIVE PROCESS MODELING
    DELGADO, HE
    RAMAKRISHNAN, RI
    HOWSON, TE
    JOM-JOURNAL OF THE MINERALS METALS & MATERIALS SOCIETY, 1994, 46 (09): : 21 - 23
  • [10] Cost-Effective Isolation of a Process Impurity of Pregabalin
    Prakash, Lakkireddy
    Himaja, Malipeddi
    Yadav, Belly Ramakrishna
    Reddy, Arumalla Maheshwara
    SCIENTIA PHARMACEUTICA, 2015, 83 (03) : 453 - 463
12345