On the Modeling of Sequential Reactive Systems by Means of Real Time Automata

Sequential reactive systems include hardware devices and software programs which operate in continuous interaction with the external environment, from which they receive streams of input signals (data, commands) and in response to them form streams of output signals. Systems of this type include con...

Full description

Bibliographic Details
Main Authors: Evgeney Maximovich Vinarskii, Vladimir Anatolyevich Zakharov
Format: Article
Language:English
Published: Yaroslavl State University 2020-12-01
Series:Modelirovanie i Analiz Informacionnyh Sistem
Subjects:
Online Access:https://www.mais-journal.ru/jour/article/view/1432