Zobrazeno 1 - 3
of 3
pro vyhledávání: '"A. R. Gnatenko"'
Autor:
A. R. Gnatenko, V. A. Zakharov
Publikováno v:
Труды Института системного программирования РАН, Vol 30, Iss 3, Pp 303-324 (2018)
Sequential reactive systems represent programs that interact with the environment by receiving signals or requests and react to these requests by performing operations with data. Such systems simulate various software like computer drivers, real-time
Externí odkaz:
https://doaj.org/article/93b7b2be728943578f76df632755c528
Autor:
A. R. Gnatenko, Vladimir A. Zakharov
Publikováno v:
Automatic Control and Computer Sciences. 53:663-675
One of the most simple models of computation suitable for representation of reactive systems behavior is a finite state transducer that operates on an input alphabet of control signals and an output alphabet of basic actions. The behavior of such a r
Publikováno v:
Вісник Харківського національного автомобільно-дорожнього університету; № 85 (2019); 66
Bulletin of Kharkov National Automobile and Highway University; № 85 (2019); 66
Вестник Харьковского национального автомобильно-дорожного университета; № 85 (2019); 66
Bulletin of Kharkov National Automobile and Highway University; № 85 (2019); 66
Вестник Харьковского национального автомобильно-дорожного университета; № 85 (2019); 66
Наголошується, що однією з основних фундаментальних характеристик бітумо-полімерних герметизуючих матеріалів гарячого застосування є