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 条
  • [1] SPECIFICATION OF REAL-TIME BROADCAST NETWORKS
    JAIN, P
    LAM, SS
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1991, 40 (04) : 404 - 422
  • [2] Formal Verification of Real-Time Wireless Sensor Networks Protocols: Scaling Up
    Mouradian, Alexandre
    Auge-Blum, Isabelle
    [J]. 2014 26TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2014), 2014, : 41 - 50
  • [3] MULTICHANNEL PROTOCOLS FOR REAL-TIME MICROCOMPUTER NETWORKS
    MARSAN, MA
    CAMARDA, P
    NERI, F
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1986, 18 (1-5): : 469 - 477
  • [4] Consistency verification in modeling of real-time systems
    Deng, Y
    Wang, JC
    Zhou, MC
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2004, 20 (01): : 136 - 142
  • [5] An approach to modeling and verification of real-time systems
    Gumzej, R
    Colnaric, M
    [J]. FOURTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2001, : 283 - 290
  • [6] A method for modeling and verification of real-time systems
    Scott, JM
    [J]. PROCEEDINGS IEEE SOUTHEASTCON '98: ENGINEERING FOR A NEW ERA, 1998, : 53 - 56
  • [7] REAL-TIME MODELING OF POWER NETWORKS
    BOSE, A
    CLEMENTS, KA
    [J]. PROCEEDINGS OF THE IEEE, 1987, 75 (12) : 1607 - 1622
  • [8] UML Profiles for Modeling Real-Time Communication Protocols
    Kumar, Barath
    Jasperneite, Juergen
    [J]. JOURNAL OF OBJECT TECHNOLOGY, 2010, 9 (02): : 178 - 198
  • [9] Modeling and Real-Time Verification for CPS based on Time Automata
    Tuo, Mingfu
    Zhao, Xiaoqiang
    Shen, Bo
    Wu, Wenliang
    [J]. 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY COMPANION, QRS-C, 2022, : 576 - 579
  • [10] REAL-TIME PROTOCOLS
    LELANN, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 184 : 457 - 469
12345