THE REAL-TIME VERIFICATION

被引：0
|
作者：
PELTOLA, S [1 ]
机构：
[1] S SAIMAA CENT HOSP,LAPPEENRANTA,FINLAND
来源：
MEDICAL PHYSICS | 1988年 / 15卷 / 05期
关键词：
D O I：
暂无
中图分类号：
R8 [特种医学]; R445 [影像诊断学];
学科分类号：
1002 ; 100207 ; 1009 ;
摘要：
引用
收藏
页码：799 / 799
页数：1
相关论文
共 50 条
  • [1] Face verification for real-time applications
    Romano, R
    Beymer, D
    Poggio, T
    [J]. IMAGE UNDERSTANDING WORKSHOP, 1996 PROCEEDINGS, VOLS I AND II, 1996, : 747 - 756
  • [2] REAL-TIME FINGERPRINT VERIFICATION SYSTEM
    GAMBLE, FT
    FRYE, LM
    GRIESER, DR
    [J]. APPLIED OPTICS, 1992, 31 (05): : 652 - 655
  • [3] An abstraction technique for real-time verification
    Clarke, Edmund M.
    Lerda, Flavio
    Talupur, Muralidhar
    [J]. NEXT GENERATION DESIGN AND VERIFICATION METHODOLOGIES FOR DISTRIBUTED EMBEDDED CONTROL SYSTEMS, 2007, : 1 - +
  • [4] TEMPORAL VERIFICATION OF REAL-TIME SYSTEMS
    CAMPOS, SV
    CLARKE, EM
    MARRERO, W
    MINEA, M
    HIRAISHI, H
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1995, E78D (07) : 796 - 801
  • [5] Real-time speaker identification and verification
    Kinnunen, T
    Karpov, E
    Fränti, P
    [J]. IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, 2006, 14 (01): : 277 - 288
  • [6] A Real-Time Antenna Verification System
    Cutajar, D.
    Farhat, I.
    Magro, A.
    Borg, J.
    Adami, K. Zarb
    Sammut, C. V.
    [J]. 2018 2ND URSI ATLANTIC RADIO SCIENCE MEETING (AT-RASC), 2018,
  • [7] A simplification of a real-time verification problem
    Roy, Suman
    Misra, Janardan
    Saha, Indranil
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2016, 26 (08): : 548 - 571
  • [8] Real-time verification of STATEMATE designs
    Brockmeyer, U
    Wittich, G
    [J]. COMPUTER AIDED VERIFICATION, 1998, 1427 : 537 - 541
  • [9] Compositional verification of real-time applications
    Hooman, J
    [J]. COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE, 1998, 1536 : 276 - 300
  • [10] Verification of real-time systems design
    Emilia Cambronero, M.
    Valero, Valentin
    Diaz, Gregorio
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2010, 20 (01): : 3 - 37
12345