INTRODUCTION OF FORMAL RELIABILITY ENGINEERING IN ISRAEL

被引：0
|
作者：
TAMIR, Y
机构：
来源：
IEEE TRANSACTIONS ON RELIABILITY | 1982年 / 31卷 / 02期
关键词：
D O I：
10.1109/TR.1982.5221278
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：147 / 147
页数：1
相关论文
共 50 条
  • [31] Engineering Formal Metatheory
    Aydemir, Brian
    Chargueraud, Arthur
    Pierce, Benjamin C.
    Pollack, Randy
    Weirich, Stephanie
    POPL'08: PROCEEDINGS OF THE 35TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2008, : 3 - 15
  • [32] Formal methods and software reliability
    Holzmann, GJ
    SECOND ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2004, : 145 - 146
  • [33] Formal models of source reliability
    Merdes, Christoph
    Von Sydow, Momme
    Hahn, Ulrike
    SYNTHESE, 2021, 198 (SUPPL 23) : 5773 - 5801
  • [34] Formal models of source reliability
    Christoph Merdes
    Momme von Sydow
    Ulrike Hahn
    Synthese, 2021, 198 : 5773 - 5801
  • [35] EXPERIENCE WITH A FORMAL RELIABILITY PROGRAM
    RICH, BG
    SMITH, OA
    KORTE, L
    SAE TRANSACTIONS, 1968, 76 : 155 - &
  • [36] Introduction: Special Issue on Engineering Economics in Reliability, Replacement and Maintenance, Part 1
    Jardine, Andrew K. S.
    ENGINEERING ECONOMIST, 2014, 59 (02): : 89 - 90
  • [37] Introduction to reliability
    Delarozée, G
    MICROELECTRONIC ENGINEERING, 1999, 49 (1-2) : 3 - 10
  • [38] Reliability: an introduction
    Stefano Bonzio
    Jürgen Landes
    Barbara Osimani
    Synthese, 2021, 198 : 5615 - 5624
  • [39] RELIABILITY - INTRODUCTION
    CHRISTIANSEN, D
    IEEE SPECTRUM, 1981, 18 (10) : 34 - 35
  • [40] Reliability: an introduction
    Bonzio, Stefano
    Landes, Juergen
    Osimani, Barbara
    SYNTHESE, 2021, 198 (SUPPL 23) : 5615 - 5624
12345