Problems of instrumental support for the development of distributed embedded real-time systems. - Anatoly G. Bakhmurov; R. L. Smelyansky (Program. Comput. Softw., 2013)

Model of distributed computing system operation with time. - R. L. Smelyansky (Program. Comput. Softw., 2013)

Integrated environment for the analysis and design of distributed real-time embedded computing systems. - R. L. Smelyansky; Anatoly G. Bakhmurov; Dmitry Yu. Volkanov; E. V. Chemeritskii (Program. Comput. Softw., 2013)

A formal model and verification problems for software defined networks. - Vladimir A. Zakharov; R. L. Smelyansky; Eugene V. Chemeritsky (Autom. Control. Comput. Sci., 2014)