RUS  ENG
Full version
JOURNALS // Avtomatika i Telemekhanika // Archive
Avtomat. i Telemekh., 1979 Issue 7, Pages 130–136 (Mi at9494)
This article is cited in 1 paper

Technical Diagnostics

Hardware control of asynchronous automata by decompositions which have a substitution property

V. V. Danilov, A. N. Zhirabok

Leningrad

Abstract: The paper develops a method of checking for asynchronous potential automata by using decompositions which feature the property of substitution.

UDC: 62-507.019.3


Received: 14.02.1978


 English version: Automation and Remote Control, 1979, 40:7, 1050–1056

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024