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 条
  • [21] New Ferry Boat for Sardinia. Design and Realization.
    Gargiulo, Aniello
    Bau, Franco
    Ingegneria Ferroviaria, 1983, 38 (03): : 106 - 114
  • [22] METHODS OF IDENTIFYING THE PARAMETERS OF THERMOPHYSICAL OBJECTS AND THEIR SCHEMATIC REALIZATION.
    Shashkov, A.G.
    Kozlov, V.P.
    Pisarik, G.P.
    Lipovtsev, V.N.
    Journal of Engineering Physics (English Translation of Inzhenerno-Fizicheskii Zhurnal), 1987, 52 (04): : 483 - 489
  • [23] Symbolic Realization. A New Method of Psychotherapy Applied to a Case of Schizophrenia
    不详
    PSYCHIATRIC QUARTERLY, 1954, 28 (02) : 331 - 331
  • [24] Control Systems with Micro-Computers - Description, Design and Realization.
    Gausch, F.
    Hofer, A.
    Schlacher, K.
    Automatisierungstechnik, 1986, 34 (10):
  • [25] The discourse in its context of realization. Pragmatic linguistics, argumentation and courtesy
    Bejar, Victor Perez
    CIRCULO DE LINGUISTICA APLICADA A LA COMUNICACION, 2022, (89): : 263 - 266
  • [26] SYMBOLIC REALIZATION. A New Method of Psychotherapy Applied to a Case of Schizophrenia
    Fromm-Reichmann, Frieda
    PSYCHOANALYTIC QUARTERLY, 1953, 22 (03): : 427 - 430
  • [27] Symbolic realization. New method of applied psychotherapy in a case of schizophrenia
    Richard
    SCHWEIZER ARCHIV FUR NEUROLOGIE UND PSYCHIATRIE, 1949, 64 (1-2): : 501 - 503
  • [28] SYNTHESIS OF OPTIMAL CONTROL IN THE VEHICLE SUSPENSION AND ITS TECHNICAL REALIZATION.
    Sharapov, V.
    Vib Eng, 1988, 2 (01): : 11 - 17
  • [29] Traffic Data Acquisition System for the Road Network - Concept and Realization.
    Boehnke, Peter
    Boeker, Richard
    Pfannerstill, Elmar
    Stremme, Wolfgang
    Ziegler, Roland
    1600, (41):
  • [30] DIGITAL TECHNOLOGY FOR REMOVABLE PARTIAL DENTURE REALIZATION. CASE REPORT
    Diaconu-Popa, Diana
    Tatarciuc, Monica
    Vitalariu, Anca
    MEDICAL-SURGICAL JOURNAL-REVISTA MEDICO-CHIRURGICALA, 2021, 125 (01): : 170 - 174
12345