Study on formal description style of network protocol

被引：0
|
作者：
Li, Layuan
机构：
来源：
Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems | / 19卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：62 / 69
相关论文
共 50 条
  • [21] FORMAL DESCRIPTION OF NETWORK SYSTEMS USING A PREDICATE LANGUAGE
    GUREVICH, IM
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1986, (06): : 52 - 58
  • [22] Description style of model-based formal specification considering executability and readability
    Nakatsugawa, Yasumasa
    Kurita, Taro
    Araki, Keijiro
    Computer Software, 2010, 27 (02) : 130 - 135
  • [23] Use of formal specification and design language for protocol description -: Field report
    Prüssner, M
    Gemici, A
    FIELDBUS TECHNOLOGY: SYSTEMS INTEGRATION, NETWORKING, AND ENGINEERING, 1999, : 146 - 151
  • [24] Formal verification of a radio network random access protocol
    Roumane, Ahmed
    Kechar, Bouabdellah
    Kouninef, Belkacem
    INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, 2017, 30 (18)
  • [25] Formal analysis of Sensor Network Encryption Protocol (SNEP)
    Tobarra, Llanos
    Cazorla, Diego
    Cuartero, Fernando
    2007 IEEE INTERNATIONAL CONFERENCE ON MOBILE AD-HOC AND SENSOR SYSTEMS, VOLS 1-3, 2007, : 1184 - 1189
  • [26] Modeling LTE Protocol for Mobile Terminals Using a Formal Description Technique
    Showk, Anas
    Szczesny, David
    Traboulsi, Shadi
    Badr, Irv
    Gonzalez, Elizabeth
    Bilgic, Attila
    SDL 2009: DESIGN FOR MOTES AND MOBILES, PROCEEDINGS, 2009, 5719 : 222 - +
  • [27] SPECIFICATIONS OF A SIMPLIFIED TRANSPORT PROTOCOL USING DIFFERENT FORMAL DESCRIPTION TECHNIQUES
    BOCHMANN, GV
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1990, 18 (05): : 335 - 377
  • [28] FORMAL DESCRIPTION LANGUAGES FOR COMPUTER NETWORK PROTOCOLS: A SURVEY.
    Kalnin'sh, Ya.Ya.
    Krastin'sh, P.Ya.
    Automatic Control and Computer Sciences, 1986, 20 (01) : 1 - 23
  • [29] FORMAL DESCRIPTION OF NETWORK SYSTEMS USING A PREDICATE LANGUAGE.
    Gurevich, I.M.
    Automatic Control and Computer Sciences, 1986, 20 (06) : 46 - 53
  • [30] STYLE AND FORMAL FEATURES
    CARNEY, JD
    SOUTHERN JOURNAL OF PHILOSOPHY, 1991, 29 (04): : 431 - 444
12345