SPECIFICATION OF THE NETWORK PROTOCOLS WITH INTERNAL MEASUREMENT FUNCTIONS

被引：0

|

作者：

APRAKSIN, JK

ZAPEVALIN, AA

机构：

来源：

AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA | 1989年 / 05期

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

收藏

页码：44 / 45

页数：2

相关论文

共 50 条

[1] SPECIFICATION AND VALIDATION OF PROTOCOLS
MERLIN, PM
[J]. IEEE TRANSACTIONS ON COMMUNICATIONS, 1979, 27 (11) : 1671 - 1680
[2] SDL-based specification and testing strategy for communication network protocols
Monkewich, O
[J]. SDL'99: THE NEXT MILLENNIUM, 1999, : 123 - 134
[3] AGGREGATE APPROACH FOR SPECIFICATION, VALIDATION, SIMULATION AND IMPLEMENTATION OF COMPUTER NETWORK PROTOCOLS
PRANEVITCHIUS, H
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 502 : 433 - 477
[4] SYSTEMS SPECIFICATION BY BASIC PROTOCOLS
Letichevsky, A. Ad.
Kapitonova, Yu. V.
Volkov, V. A.
Letichevsky, A. A.
Baranov, S. N.
Kotlyarov, V. P.
Weigert, T.
[J]. CYBERNETICS AND SYSTEMS ANALYSIS, 2005, 41 (04) : 479 - 493
[5] THE TRACE SPECIFICATION OF COMMUNICATIONS PROTOCOLS
HOFFMAN, D
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1985, 34 (12) : 1102 - 1113
[6] SPECIFICATION AND ANALYSIS OF A COMPOSITION OF PROTOCOLS
LUNDY, GM
[J]. INFORMATION SCIENCES, 1993, 70 (03) : 221 - 239
[7] SPECIFICATION LANGUAGES FOR COMMUNICATION PROTOCOLS
VONBOCHMANN, G
[J]. COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 : 379 - 396
[8] Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets
Bishop, S
Fairbairn, M
Norrish, M
Sewell, P
Smith, M
Wansbrough, K
[J]. ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, 2005, 35 (04) : 265 - 276
[9] Toward Conceptual Specification of Communication Protocols
Al-Fedaghi, Sabah
[J]. INTERNATIONAL JOURNAL OF FUTURE GENERATION COMMUNICATION AND NETWORKING, 2013, 6 (01): : 99 - 110
[10] ALGEBRAIC SPECIFICATION AND VERIFICATION OF COMMUNICATION PROTOCOLS
KOOMEN, CJ
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1985, 5 (01) : 1 - 36

← 1 2 3 4 5 →