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 条
  • [41] An engineering process for the verification of real-time systems
    Burns, A.
    Lin, T. -M.
    FORMAL ASPECTS OF COMPUTING, 2007, 19 (01) : 111 - 136
  • [42] Kronos: A verification tool for real-time systems
    Yovine, Sergio
    International Journal on Software Tools for Technology Transfer, 1997, 1 (1-2): : 123 - 133
  • [43] Predicate diagrams for the verification of real-time systems
    Kang, Eun-Young
    Merz, Stephan
    FORMAL ASPECTS OF COMPUTING, 2007, 19 (03) : 401 - 413
  • [44] RAVEN: Real-time analyzing and verification environment
    Ruf, J
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (01) : 89 - 104
  • [45] Compositional verification of embedded real-time systems
    Foughali, Mohammed
    Hladik, Pierre-Emmanuel
    Zuepke, Alexander
    JOURNAL OF SYSTEMS ARCHITECTURE, 2023, 142
  • [46] Runtime verification of embedded real-time systems
    Thomas Reinbacher
    Matthias Függer
    Jörg Brauer
    Formal Methods in System Design, 2014, 44 : 203 - 239
  • [47] On Improved Verification of Reconfigurable Real-Time Systems
    Hafidi, Yousra
    Kahloul, Laid
    Khalgui, Mohamed
    Ramdani, Mohamed
    PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), 2019, : 394 - 401
  • [48] Complexity Bounds for the Verification of Real-Time Software
    Chadha, Rohit
    Legay, Axel
    Prabhakar, Pavithra
    Viswanathan, Mahesh
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2010, 5944 : 95 - +
  • [49] Time properties Verification of UML/MARTE Real-Time Systems
    Louati, Aymen
    Barkaoui, Ka-Mel
    Jerad, Chadlia
    2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2014, : 386 - 393
  • [50] Modeling and Real-Time Verification for CPS based on Time Automata
    Tuo, Mingfu
    Zhao, Xiaoqiang
    Shen, Bo
    Wu, Wenliang
    2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY COMPANION, QRS-C, 2022, : 576 - 579
12345