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 条
  • [1] IDV: Internet Domain Name Verification Based on Blockchain
    Hu, Ning
    Teng, Yu
    Zhao, Yan
    Yin, Shi
    Zhao, Yue
    CMES-COMPUTER MODELING IN ENGINEERING & SCIENCES, 2021, 129 (01): : 299 - 322
  • [2] UNDERSEA INSTRUMENTATION FOR PHOTOGRAPHIC AND VIDEO DOCUMENTATION
    SELVIDIO, JF
    JOURNAL OF THE SMPTE-SOCIETY OF MOTION PICTURE AND TELEVISION ENGINEERS, 1965, 74 (04): : 324 - 328
  • [3] IMPORTANCE OF INSTRUMENTATION AND DOCUMENTATION IN GYNECOLOGICAL LAPAROSCOPY
    BERCI, G
    ADLER, DN
    BROOKS, PG
    PASTERNAK, A
    HASLER, G
    JOURNAL OF REPRODUCTIVE MEDICINE, 1973, 10 (06) : 276 - 284
  • [4] Streamlining flow instrumentation specification and documentation
    Coates, TJ
    CONTROL ENGINEERING, 1999, 46 (04) : 106 - 106
  • [5] UNDERSEA INSTRUMENTATION FOR PHOTOGRAPHIC AND VIDEO DOCUMENTATION
    SELVIDIO, JF
    JOURNAL OF THE SOCIETY OF MOTION PICTURE TELEVISION ENGINEERS, 1965, 74 (4P1): : 324 - &
  • [6] Software documentation and the verification process
    Parnas, DL
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 1 - 1
  • [7] Verification of the noise parameter instrumentation
    Adamian, V
    Fenton, R
    ARFTG 49TH CONFERENCE: (CHARACTERIZATION OF BROADBAND TELECOMMUNICATIONS COMPONENTS SYSTEMS), 1997, : 181 - 190
  • [8] Instrumentation of intermediate code for runtime verification
    Gates, AQ
    Mondragon, O
    Payne, M
    Roach, S
    28TH ANNUAL NASA GODDARD SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, 2004, : 66 - 71
  • [9] Automatic Program Instrumentation for Automatic Verification
    Amilon, Jesper
    Esen, Zafer
    Gurov, Dilian
    Lidstrom, Christian
    Rummer, Philipp
    COMPUTER AIDED VERIFICATION, CAV 2023, PT III, 2023, 13966 : 281 - 304
  • [10] Verification of intrinsic safety on instrumentation loop
    Kuan, Teik Hua
    Chew, Kuew Wai
    Chua, Kein Huat
    PROCESS SAFETY PROGRESS, 2023, 42 (01) : 79 - 95
12345