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 条

[41] Formal-Based Modeling and Analysis of a Network Communication Protocol for IoT: MQTT Protocol
Hcine, Jamila
Ben Hafaiedh, Imene
PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON SCIENCES OF ELECTRONICS, TECHNOLOGIES OF INFORMATION AND TELECOMMUNICATIONS (SETIT'18), VOL.2, 2020, 147 : 350 - 360
[42] FORMAL METHODS FOR PROTOCOL TESTING - A DETAILED STUDY
SIDHU, DP
LEUNG, TK
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1989, 15 (04) : 413 - 426
[43] A formal description method for P2P network models
School of Computer Science and Engineering, Southeast University, Nanjing 210096, China
J. Southeast Univ. Engl. Ed., 2009, 1 (36-40):
[44] GREEK ART - A STUDY OF THE FORMAL EVOLUTION OF STYLE - CARPENTER,R
HANFMANN, GMA
AMERICAN JOURNAL OF ARCHAEOLOGY, 1965, 69 (02) : 181 - 184
[45] STYLE AND MEANING IN LAURA ART - A CASE-STUDY IN THE FORMAL ANALYSIS OF STYLE IN PREHISTORIC ART
ROSENFELD, A
MANKIND, 1982, 13 (03): : 199 - 217
[46] Advanced formal authentication protocol using smart cards for network applicants
Limbasiya, Trupil
Soni, Mukesh
Mishra, Sajal Kumar
COMPUTERS & ELECTRICAL ENGINEERING, 2018, 66 : 50 - 63
[47] Formal Analysis of the Real-time Multimedia Network Protocol ZRTP
Lu, Siqi
Wang, Wenbo
Cheng, Qingfeng
RECENT ADVANCES IN ELECTRICAL & ELECTRONIC ENGINEERING, 2015, 8 (01) : 12 - 17
[48] FORMAL DESCRIPTION TECHNIQUES
VISSERS, CA
TENNEY, RL
VONBOCHMANN, G
PROCEEDINGS OF THE IEEE, 1983, 71 (12) : 1356 - 1364
[49] Reflections on formal style (simplification of contemporary literary style)
Zagajewski, A
SINN UND FORM, 1999, 51 (06): : 845 - 861
[50] Multi-protocol label switching network functional description
Owens, KR
Kroculick, J
INTERNET II: QUALITY OF SERVICE AND FUTURE DIRECTIONS, 1999, 3842 : 165 - 172

← 1 2 3 4 5 →