PROTOCOL SPECIFICATION, TESTING AND VERIFICATION

被引：0
|
作者：
不详
机构：
来源：
COMPUTER NETWORKS AND ISDN SYSTEMS | 1984年 / 8卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：146 / 155
页数：10
相关论文
共 50 条
  • [21] SDL specification and verification of connection establishment and release protocol
    Kampirellis, S.
    Triantafyllou, S.
    Andreatos, A.
    Recent Advances in Signal Processing and Communications, 1999, : 299 - 303
  • [22] FORMAL SPECIFICATION AND COMPOSITIONAL VERIFICATION OF AN ATOMIC BROADCAST PROTOCOL
    ZHOU, P
    HOOMAN, J
    REAL-TIME SYSTEMS, 1995, 9 (02) : 119 - 145
  • [23] FORMAL SPECIFICATION AND VERIFICATION OF A PROCEDURAL PROTOCOL - CASE-STUDY
    LAI, R
    SOFTWARE ENGINEERING JOURNAL, 1995, 10 (03): : 97 - 104
  • [24] Formal Specification and Verification of JXTA's Endpoint Routing Protocol
    Konga, Yannick L. Kala
    Djouani, Karim
    IEEE AFRICON 2011, 2011,
  • [25] On Verification of Implementation of Security Specification with Petri Nets' Protocol Inheritance
    Tang, Wenshan
    Gou, Zhaolong
    Bin Ahmadon, Mohd Anuaruddin
    Yamaguchi, Shingo
    2016 IEEE 5TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS, 2016,
  • [26] Formal Specification and Verification of MQTT Protocol in PlusCal-2
    Akhtar, Sabina
    Zahoor, Ehtesham
    WIRELESS PERSONAL COMMUNICATIONS, 2021, 119 (02) : 1589 - 1606
  • [27] AN HDLC PROTOCOL SPECIFICATION AND ITS VERIFICATION USING IMAGE PROTOCOLS
    SHANKAR, AU
    LAM, SS
    ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1983, 1 (04): : 331 - 368
  • [28] Formal specification and verification of the intrusion-Tolerant enclaves protocol
    Computer Science Department, McGill University, 3480 University Street, Montreal, QC, Canada
    不详
    不详
    Int. J. Netw. Secur., 2007, 3 (288-298):
  • [29] Formal Specification and Verification of CSMA/CD Protocol Using Z
    Shukur, Zarina
    Alias, Nursyahidah
    Idrus, Bahari
    Halip, Mohd Hazali Mohamed
    JURNAL KEJURUTERAAN, 2009, 21 : 85 - 96
  • [30] SIGNIFICANT EVENT TEMPORAL LOGIC - A METHOD FOR PROTOCOL SPECIFICATION AND VERIFICATION
    VUONG, ST
    TSIKNIS, GK
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1995, 10 (01): : 41 - 49
12345