PROTOCOL SPECIFICATION, TESTING AND VERIFICATION

被引：0
|
作者：
不详
机构：
来源：
COMPUTER NETWORKS AND ISDN SYSTEMS | 1984年 / 8卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：146 / 155
页数：10
相关论文
共 50 条
  • [1] PROTOCOL SPECIFICATION, TESTING AND VERIFICATION
    不详
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1984, 8 (01): : 57 - 65
  • [2] PROTOCOL SPECIFICATION, TESTING AND VERIFICATION
    不详
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1985, 10 (3-4): : 231 - 237
  • [3] SPECIAL ISSUE ON PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION
    SUNSHINE, C
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1982, 6 (06): : 375 - 376
  • [4] 4TH ANNUAL WORKSHOP ON PROTOCOL SPECIFICATION, TESTING AND VERIFICATION
    不详
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1985, 9 (04): : 311 - 320
  • [5] Security protocol specification and verification with AnBx
    Bugliesi, Michele
    Calzavara, Stefano
    Modersheim, Sebastian
    Modesti, Paolo
    JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, 2016, 30 : 46 - 63
  • [6] Formal specification and verification of a micropayment protocol
    Gouda, MG
    Liu, AX
    ICCCN 2004: 13TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS, PROCEEDINGS, 2004, : 489 - 494
  • [7] Specification and Verification of the Zab Protocol with TLA
    Yin, Jia-Qi
    Zhu, Hui-Biao
    Fei, Yuan
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2020, 35 (06) : 1312 - 1323
  • [8] FORMAL TECHNIQUES FOR PROTOCOL SPECIFICATION AND VERIFICATION
    SUNSHINE, C
    COMPUTER, 1979, 12 (09) : 20 - 27
  • [9] PROTOCOL TESTING AND VERIFICATION
    不详
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1981, 5 (04): : 313 - 314
  • [10] Specification and Verification of the Zab Protocol with TLA+
    Jia-Qi Yin
    Hui-Biao Zhu
    Yuan Fei
    Journal of Computer Science and Technology, 2020, 35 : 1312 - 1323
12345