( en | de | ru )

 

Disambiguation of "Sokolov, Valery A."

Author of the publication

copydeleteadd this publication to your clipboard
An Approach to the Implementation of the Dynamical Priorities Method.

, and . PaCT, volume 3606 of Lecture Notes in Computer Science, page 74-78. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Igor Sokolov

Valery Makhavikou

Viatcheslav Sokolov

Andrei Sokolov

M Sokolov

 

Other publications of authors with the same name

Modeling and traffic analysis of the adaptive rate transport protocol., and . Future Gener. Comput. Syst., 18 (6): 813-827 (2002)Modeling, specification, and verification of automaton programs., and . Program. Comput. Softw., 34 (1): 27-43 (2008)Boundedness problems for Minsky counter machines., , and . Program. Comput. Softw., 36 (1): 3-10 (2010)On a Technology of Design and Analysis of Dataflow Programs., , and . PaCT, volume 1277 of Lecture Notes in Computer Science, page 115-120. Springer, (1997)Application of the trace assertion method to the specification, design, and verification of automaton programs., , and . Program. Comput. Softw., 35 (1): 43-55 (2009)An Approach to the Implementation of the Dynamical Priorities Method., and . PaCT, volume 3606 of Lecture Notes in Computer Science, page 74-78. Springer, (2005)On a class of high-level finite-state automata., and . Automatic Control and Computer Sciences, 44 (7): 398-406 (2010)Principles of organizing the interoperability of equipollent nodes in a wireless mesh-network with time division multiple access., , and . Autom. Control. Comput. Sci., 50 (6): 415-422 (2016)Modeling a consistent behavior of PLC-sensors., , and . Autom. Control. Comput. Sci., 48 (7): 602-614 (2014)A Question-Answering System for Applicant Support Using Modern Messaging Apps., , , , and . Autom. Control. Comput. Sci., 53 (7): 699-704 (2019)