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 条
12345