Instrumentation, documentation and verification (IDV)

被引：0
|
作者：
Ostlid, H
机构：
来源：
TUNNELLING AND UNDERGROUND SPACE TECHNOLOGY | 1997年 / 12卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TU [建筑科学];
学科分类号：
0813 ;
摘要：
引用
收藏
页码：347 / 350
页数：4
相关论文
共 50 条
  • [31] Speedy Trees from IDV
    Donelan, J
    COMPUTER GRAPHICS WORLD, 2003, 26 (01) : 4 - 4
  • [32] FACILITY FOR VERIFICATION, TESTING AND DOCUMENTATION OF CONCURRENT PROCESS SOFTWARE.
    Taylor, Richard N.
    Osterwil, Leon J.
    1978, : 36 - 41
  • [33] THE USE OF GHOST VARIABLES AND VIRTUAL PROGRAMMING IN THE DOCUMENTATION AND VERIFICATION OF PROGRAMS
    CLINT, M
    VICENT, C
    SOFTWARE-PRACTICE & EXPERIENCE, 1984, 14 (08): : 711 - 737
  • [34] Test and Verification for Digital Nuclear Instrumentation System Prototype on Reactor
    Wang Y.
    He Z.
    Bao C.
    Gao Z.
    Wu W.
    Luo T.
    Yu H.
    Luo W.
    Hedongli Gongcheng/Nuclear Power Engineering, 2022, 43 (02): : 226 - 231
  • [35] On-chip Instrumentation for Runtime Verification in Deeply Embedded Processors
    MacNamee, Ciaran
    Heffernan, Donal
    2015 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, 2015, : 374 - 379
  • [36] Formal Verification of Nonfunctional Requirements of Overall Instrumentation and Control Architectures
    Ovsiannikova, Polina
    Pakonen, Antti
    Muromsky, Dmitry
    Kobzev, Maksim
    Dubinin, Viktor
    Vyatkin, Valeriy
    IEEE OPEN JOURNAL OF THE INDUSTRIAL ELECTRONICS SOCIETY, 2024, 5 : 616 - 631
  • [37] Design Verification of Instrumentation and Control Systems of Nuclear Power Plants
    Singh, Lalit Kumar
    Vinod, Gopika
    Tripathi, A. K.
    IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 2014, 61 (02) : 921 - 930
  • [38] Approach to development metrological software test for verification intelligent instrumentation
    Kochan, R
    IDAACS'2003: PROCEEDINGS OF THE SECOND IEEE INTERNATIONAL WORKSHOP ON INTELLIGENT DATA ACQUISITION AND ADVANCED COMPUTING SYSTEMS: TECHNOLOGY AND APPLICATIONS, 2003, : 168 - 173
  • [39] High Brightness Temperatures in IDV Sources
    T.P.Krichbaum
    A.Witzel
    J.A.Zensus
    ChineseJournalofAstronomyandAstrophysics, 2006, (05) : 530 - 542
  • [40] FLEXIBLE FIBER AND RIGID (PEDIATRIC) BRONCHOSCOPIC INSTRUMENTATION AND DOCUMENTATION - QUO-VADIS
    BERCI, G
    CHEST, 1978, 73 (05) : 768 - 775
12345