VERIFICATION AND VALIDATION - TECHNIQUES TO ASSURE RELIABILITY - GUEST EDITORS INTRODUCTION

被引：0
|
作者：
WALLACE, DR [1 ]
FUJII, RU [1 ]
机构：
[1] LOGICON,SYST TECHNOL OPERAT,SAN PEDRO,CA
来源：
IEEE SOFTWARE | 1989年 / 6卷 / 03期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：9 / 9
页数：1
相关论文
共 50 条
  • [1] Guest editors' introduction: Advancements and extensions of verification techniques
    Katoen J.-P.
    Stevens P.
    [J]. International Journal on Software Tools for Technology Transfer, 2004, 6 (2) : 99 - 101
  • [2] Guest editors' introduction: Attacking functional verification through hybrid techniques
    Bhadra, Jayanta
    Abadir, Magdy S.
    Wang, Li-C.
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 2007, 24 (02): : 110 - 111
  • [3] Guest editors' introduction: Microprocessor test and verification
    Abadir, M
    Dasgupta, S
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 2000, 17 (04): : 4 - 5
  • [4] Guest editors' introduction: Design for yield and reliability
    Zorian, Y
    Gizopoulos, D
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 2004, 21 (03): : 177 - +
  • [5] Guest editors' introduction: GALS design and validation
    Kishinevsky, Mike
    Shukla, Sandeep K.
    Stevens, Kenneth S.
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 2007, 24 (05): : 414 - 416
  • [6] Guest editors' introduction: Exploring synergies for design verification
    Pixley, C
    Malik, S
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 2004, 21 (06): : 461 - 463
  • [7] Guest Editors' Introduction: Emerging Challenges and Solutions in SoC Verification
    Abadir, Magdy
    Bhadra, Jayanta
    Chen, Wen
    Wang, Li-C
    [J]. IEEE DESIGN & TEST, 2017, 34 (05) : 5 - 6
  • [8] Event Recognition Challenges and Techniques: Guest Editors' Introduction
    Artikis, Alexander
    Gal, Avigdor
    Kalogeraki, Vana
    Weidlich, Matthias
    [J]. ACM TRANSACTIONS ON INTERNET TECHNOLOGY, 2014, 14 (01)
  • [9] Guest Editors' Introduction Introduction
    Kriet, J. David
    Humphrey, Clinton D.
    [J]. FACIAL PLASTIC SURGERY, 2022, 38 (04) : 323 - 323
  • [10] Improving the effectiveness of system verification: Guest editors' introduction to special section
    Hermanns, Holger
    Palsberg, Jens
    [J]. International Journal on Software Tools for Technology Transfer, 2008, 10 (02) : 111 - 112
12345