( en | de | ru )

 

Disambiguation of "Sokolov, Valery A."

Author of the publication

copydeleteadd this publication to your clipboard
Construction and verification of PLC-programs by LTL-specification.

, , and . Autom. Control. Comput. Sci., 49 (7): 453-465 (2015)

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)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)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 Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks., and . PaCT, volume 2763 of Lecture Notes in Computer Science, page 66-75. Springer, (2003)Dynamical Priorities without Time Measurement and Modification of the TCP., and . Ershov Memorial Conference, volume 2244 of Lecture Notes in Computer Science, page 240-245. Springer, (2001)Instrumental supporting system for developing and analysis of software-defined networks of mobile objects., , , , and . Autom. Control. Comput. Sci., 50 (7): 536-545 (2016)Construction and verification of PLC-programs by LTL-specification., , and . Autom. Control. Comput. Sci., 49 (7): 453-465 (2015)