TESTING A TIMER MECHANISM IN A PROTOCOL REALIZATION.

被引：0

作者：

Petrenko, A.F.

机构：

来源：

Automatic Control and Computer Sciences | 1986年 / 20卷 / 05期

关键词：

AUTOMATA THEORY - Finite Automata - DIGITAL COMMUNICATION SYSTEMS - Control;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

The methods are discussed of testing the description of a timer mechanism in a computer network protocol and certifying its correct implementation. Conditions are defined under which the mechanism is consistent and verifiable. A procedure for a testing experiment on protocol object containing a timer is suggested.

引用

页码：12 / 16

共 50 条

[1] TESTING THE TIMER MECHANISM IN A PROTOCOL IMPLEMENTATION
PETRENKO, AF
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1986, (05): : 14 - 18
[2] Physical Realization.
Hiddleston, Eric
PHILOSOPHICAL REVIEW, 2012, 121 (03): : 467 - 471
[3] Realization. vol 1
Wentscher, Else
ARCHIV FUR DIE GESAMTE PSYCHOLOGIE, 1913, 29 (1-2): : A38 - A43
[4] Unusual Bridge for Tramways in Karlsruhe - the Realization.
Nehse, Heinz
Beton- und Stahlbetonbau, 1987, 82 (01) : 12 - 16
[5] TWO METHODS OF DIGITAL LADDER REALIZATION.
Nishimura, Shotaro
Hirano, Kotaro
Memoirs of the Faculty of Engineering, Kobe University, 1977, (23): : 149 - 164
[6] Infinite dimensional models:: Approximation and realization.
Guijarro, N
Lefèvre, L
Dauphin-Tanguy, G
PROCEEDINGS OF THE 39TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 2000, : 3295 - 3300
[7] RESEARCH AND DEVELOPMENT OF TECHNOLOGIES FOR INS REALIZATION.
Fukutomi, Reijiro
1600, (32):
[8] FORMAL STATEMENT OF THE PROBLEM OF CYCLE REALIZATION.
Lyubimskii, E.Z.
Programming and Computer Software (English Translation of Programmirovanie), 1979, 5 (05): : 297 - 303
[9] REQUIREMENT OF SHORE BASED RADAR AND THE PROPOSED REALIZATION.
Haase, H.J.
1976, : 67 - 79
[10] Integrated Signal Processors: Architectures and Technical Realization.
Gluth, Rolf
Elektronik Munchen, 1986, 35 (18): : 112 - 118

← 1 2 3 4 5 →