Synthesis of protocol specification from service specification

被引：0
|
作者：
机构：
来源：
Karpov, Yu.G. | 1600年 / 23期
关键词：
Distributed Algorithms - Protocol Specification;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] PROTOCOL SPECIFICATION, TESTING AND VERIFICATION
    不详
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1984, 8 (02): : 146 - 155
  • [22] THE DIMENSION OF TIME IN PROTOCOL SPECIFICATION
    RUDIN, H
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 248 : 360 - 372
  • [23] Executable protocol specification in ESL
    Clarke, E
    German, S
    Lu, Y
    Veith, H
    Wang, D
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2000, 1954 : 197 - 216
  • [24] Typestate Protocol Specification in JML
    Kim, Taekgoo
    Bierhoff, Kevin
    Aldrich, Jonathan
    Kang, Sungwon
    EIGHTH WORKSHOP ON SPECIFICATION AND VERIFICATION OF COMPONENT-BASED SYSTEMS-SAVCBS 2009, 2009, : 11 - 18
  • [25] ISSUES AND TOOLS FOR PROTOCOL SPECIFICATION
    ANSART, JP
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 190 : 481 - 538
  • [26] PROTOCOL SPECIFICATION, TESTING AND VERIFICATION
    不详
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1985, 10 (3-4): : 231 - 237
  • [27] Prospex: Protocol Specification Extraction
    Comparetti, Paolo Milani
    Wondracek, Gilbert
    Kruegel, Christopher
    Kirda, Engin
    PROCEEDINGS OF THE 2009 30TH IEEE SYMPOSIUM ON SECURITY AND PRIVACY, 2009, : 110 - +
  • [28] Formal specification of a protocol processor
    Westerlund, T
    Plosila, J
    EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, 2005, 3553 : 122 - 131
  • [29] TECHNIQUE FOR VALIDATING PROTOCOL SPECIFICATION
    RAKOVA, IK
    SMIRNOVA, NN
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1986, (06): : 39 - 43
  • [30] EPVD - AN INTERACTIVE PROTOCOL SPECIFICATION AND VALIDATION ENVIRONMENT IN ESTELLE FORMAL SPECIFICATION
    HUANG, KC
    NAIN, TS
    HSIEH, WS
    YANG, CS
    LU, CS
    MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 71 - 77
12345