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 条
  • [41] Modeling real-time wormhole networks by queuing theory
    Zhang, LC
    Zhang, YL
    [J]. PARALLEL AND DISTRIBUTED PROCESSING AND APPLICATIONS, 2005, 3758 : 690 - 700
  • [42] Modeling and checking networks of communicating real-time processes
    Ruf, J
    Kropf, T
    [J]. CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1999, 1703 : 265 - 279
  • [43] Challenges of Modeling Electrical Distribution Networks in Real-Time
    Forsyth, P.
    Nzimako, O.
    Peters, C.
    Moustafa, M.
    [J]. 2015 International Symposium on Smart Electric Distribution Systems and Technologies (EDST), 2015, : 556 - 559
  • [44] Parametrized Verification of Distributed Broadcast Protocols
    Delzanno, Giorgio
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (220):
  • [45] Real-time verification of wireless home networks using bigraphs with sharing
    Calder, Muffy
    Koliousis, Alexandros
    Sevegnani, Michele
    Sventek, Joseph
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2014, 80 : 288 - 310
  • [46] Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
    Bersani, Marcello M.
    Furia, Carlo A.
    Pradella, Matteo
    Rossi, Matteo
    [J]. SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 13 - +
  • [47] Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers
    Li, Yonghui
    Akesson, Benny
    Lampka, Kai
    Goossens, Kees
    [J]. 2016 IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS), 2016,
  • [48] Micro Gas Turbine Real-Time Modeling: Test Rig Verification
    Ghigliazza, Francesco
    Traverso, Alberto
    Pascenti, Matteo
    Massardo, Aristide F.
    [J]. PROCEEDINGS OF ASME TURBO EXPO 2009, VOL 5, 2009, : 29 - 36
  • [49] Real-time scheduler for transport protocols
    Sherwani, Samia Aslam
    Khiyal, Malik Sikander Hayat
    [J]. Information Technology Journal, 2007, 6 (03) : 376 - 379
  • [50] Standardizing real-time streaming protocols
    Severance, C
    Lanphier, R
    [J]. COMPUTER, 1998, 31 (07) : 94 - 95
12345