MODELING AND VERIFICATION OF REAL-TIME PROTOCOLS FOR BROADCAST NETWORKS

被引：5
|
作者：
JAIN, P
LAM, SS
机构：
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1987年 / 13卷 / 08期
关键词：
D O I：
10.1109/TSE.1987.233511
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：924 / 937
页数：14
相关论文
共 50 条
  • [31] Incremental architectural modeling and verification of real-time concurrent systems
    Deng, Y
    Wang, JC
    Sinha, R
    [J]. SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1998, : 26 - 34
  • [32] BROADCAST COMMUNICATION FOR REAL-TIME PROCESSES
    DAVIES, J
    JACKSON, D
    SCHNEIDER, S
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 149 - 169
  • [33] Real-time captioning for live broadcast
    NHK Science and Technology Research Laboratories, Tokyo, Japan
    [J]. Kyokai Joho Imeji Zasshi, 4 (300-304): : 300 - 304
  • [34] ATOMIC BROADCAST IN A REAL-TIME ENVIRONMENT
    CRISTIAN, F
    DOLEV, D
    STRONG, R
    AGHILI, H
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 448 : 51 - 71
  • [35] Real-Time Networks and Protocols for Factory Automation and Process Control Systems
    Vitturi, Stefano
    Sauter, Thilo
    Pang, Zhibo
    [J]. PROCEEDINGS OF THE IEEE, 2019, 107 (06) : 939 - 943
  • [36] Modeling selected real-time database concurrency control protocols in Uppaal
    Kot, Martin
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2009, 5 (02) : 129 - 138
  • [37] USING HIGHER-ORDER LOGIC FOR MODELING REAL-TIME PROTOCOLS
    CARDELLOLIVER, R
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 494 : 259 - 282
  • [38] Portable real-time protocols to make real-time communications affordable
    Barned, RM
    Richards, RJ
    [J]. 2002 MILCOM PROCEEDINGS, VOLS 1 AND 2: GLOBAL INFORMATION GRID - ENABLING TRANSFORMATION THROUGH 21ST CENTURY COMMUNICATIONS, 2002, : 1183 - 1188
  • [39] Packet Loss Recovery in Broadcast for Real-Time Applications in Dense Wireless Networks
    Arefi A.
    Khabbazian M.
    [J]. IEEE Open Journal of the Computer Society, 2021, 2 : 3 - 13
  • [40] A protocol and correctness proofs for real-time high-performance broadcast networks
    Hermant, JF
    Le Lann, G
    [J]. 18TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 1998, : 360 - 369
12345