Login / Signup
R. L. Smelyansky
Publication Activity (10 Years)
Years Active: 2013-2014
Publications (10 Years): 0
Top Topics
Embedded Real Time Systems
Formal Models
Peer To Peer
Computer Systems
Top Venues
Program. Comput. Softw.
Autom. Control. Comput. Sci.
</>
Publications
</>
Vladimir A. Zakharov
,
R. L. Smelyansky
,
Eugene V. Chemeritsky
A formal model and verification problems for software defined networks.
Autom. Control. Comput. Sci.
48 (7) (2014)
Anatoly G. Bakhmurov
,
R. L. Smelyansky
Problems of instrumental support for the development of distributed embedded real-time systems.
Program. Comput. Softw.
39 (5) (2013)
R. L. Smelyansky
Model of distributed computing system operation with time.
Program. Comput. Softw.
39 (5) (2013)
R. L. Smelyansky
,
Anatoly G. Bakhmurov
,
Dmitry Yu. Volkanov
,
E. V. Chemeritskii
Integrated environment for the analysis and design of distributed real-time embedded computing systems.
Program. Comput. Softw.
39 (5) (2013)