Modular abstractions for verifying real-time distributed systems

被引：0
|
作者：
机构：
[1] De-Leon, Hana
[2] Grumberg, Orna
来源：
De-Leon, Hana | 1600年 / 02期
关键词：
Model checking - Modular abstractions - Real time distributed systems - Temporal logic - Verification methodology;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] REAL-TIME MODULAR DISTRIBUTED SIGNAL-PROCESSING
    GROSS, JS
    PATEL, JN
    KOBLER, V
    PROCEEDINGS OF THE SOCIETY OF PHOTO-OPTICAL INSTRUMENTATION ENGINEERS, 1981, 298 : 312 - 323
  • [22] Object oriented abstractions for real-time distributed systems -: Foundation steps of Ada 95 purity and generics
    Moody, SA
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE, 1998, 1411 : 112 - 127
  • [23] An approach to formally modeling and verifying distributed real-time embedded software
    Chen L.
    Fan G.
    Liu Y.
    Journal of Software, 2010, 5 (09) : 990 - 997
  • [24] Monitoring distributed real-time systems
    Shiyou Hiagong Gaodeng Xuexiao Xuebao, 1 (71-73, 86):
  • [25] Parallel and distributed real-time systems
    Manimaran, G
    Ecker, K
    Huh, EN
    JOURNAL OF SYSTEMS AND SOFTWARE, 2005, 77 (01) : 1 - 2
  • [26] Monitoring Distributed Real-Time Systems
    于波
    石油化工高等学校学报, 1998, (01) : 72 - 74+87
  • [27] Testing distributed real-time systems
    Thane, H
    Hansson, H
    MICROPROCESSORS AND MICROSYSTEMS, 2001, 24 (09) : 463 - 478
  • [28] Real-time scheduling in distributed systems
    Thai, ND
    PAR ELEC 2002: INTERNATIONAL CONFERENCE ON PARALLEL COMPUTING IN ELECTRICAL ENGINEERING, 2002, : 165 - 170
  • [29] MONITORING DISTRIBUTED REAL-TIME SYSTEMS
    SCHMID, U
    REAL-TIME SYSTEMS, 1994, 7 (01) : 33 - 56
  • [30] Real-time distributed VXI systems
    Wolfe, Ron
    Graff, John
    EE: Evaluation Engineering, 1991, 30 (05):
12345