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 条
  • [31] Problems of Thick-film RC Active Filters Realization.
    Tota-Ramisz, Ewa
    Drejak, Marek
    Piotrkowska, Teresa
    Elektronika Warszawa, 1983, 24 (11-12): : 33 - 36
  • [32] MULTIPLE-VALUED THRESHOLD LOGIC: ITS STATUS AND ITS REALIZATION.
    Hurst, Stanley L.
    Optical Engineering, 1986, 25 (01): : 44 - 55
  • [33] STUDY ON PULSE SEARCH ALGORITHMS FOR MULTIPULSE EXCITED SPEECH CODER REALIZATION.
    Ozawa, Kazunori
    Ono, Shigeru
    Araseki, Takashi
    IEEE Journal on Selected Areas in Communications, 1984, SAC-4 (01) : 133 - 141
  • [34] Businesses and environment in France from 1960-1990. The paths to realization.
    Knipping, Franz
    HISTORISCHE ZEITSCHRIFT, 2007, 284 (03) : 829 - 830
  • [35] MULTI-MICROPROCESSOR BASED TRAVELLING WAVE RELAY - THEORY AND REALIZATION.
    Mansour, Mohamed M.
    Swift, Glenn W.
    IEEE Transactions on Power Delivery, 1986, PWRD-1 (01) : 272 - 279
  • [36] The Communication Protocol Design and Realization in the Testing System of Communication Devices
    Cao, Wenbin
    Niu, Gang
    Chen, Guoshun
    Li, Guixiong
    Yang, Qiankun
    ADVANCES IN MECHATRONICS AND CONTROL ENGINEERING II, PTS 1-3, 2013, 433-435 : 1807 - +
  • [37] Theoretical model of the etymological semantics of Latvian personal names and its realization.
    Vaba, Lembit
    LINGUISTICA URALICA, 2010, 46 (01) : 56 - 59
  • [38] Die 'Orestie' of Aeschylus on the modern stage: Theoretical conceptions and their scenic realization.
    Revermann, M
    CLASSICAL REVIEW, 1998, 48 (02): : 469 - 470
  • [39] Compensatory possibilities of respiratory chain in mammalian mitochondria and molecular mechanisms is of their realization.
    Korneev, AA
    Burbenskaya, NM
    Komissarova, IA
    FASEB JOURNAL, 1997, 11 (09): : A1083 - A1083
  • [40] H. F. ACTIVE ANTENNA PERFORMANCE REQUIREMENTS AND REALIZATION.
    Sosin, B.M.
    Communication and Broadcasting, 1976, 3 (01): : 29 - 34
12345