( en | de | ru )

 

Disambiguation of "Vyatkin, Valeriy"

Author of the publication

copydeleteadd this publication to your clipboard
Generating an industrial process graph from 3D pipe routing information.

, , and . ETFA, page 85-92. IEEE, (2020)

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.

Valeriy Golyk

Valeriy Vorontsov

 

Other publications of authors with the same name

Combining closed-loop test generation and execution by means of model checking., and . CoRR, (2019)Formal Verification of Downtimeless System Evolution in Embedded Automation Controllers., , and . ACM Trans. Embed. Comput. Syst., 12 (1): 17:1-17:17 (2013)Towards an Approach for the Verification of Downtimeless System Evolution., , and . ETFA, page 1133-1136. IEEE, (2006)A Distributed ICT Architecture for Continuous Frequency Control., , , , , and . SMARTGREENS, page 135-142. SciTePress, (2017)Cooling energy consumption investigation of data center IT room with vertical placed server, , , , and . Energy Procedia, (2017)Service-oriented data acquisition and management for industrial cyber-physical systems., , , , and . INDIN, page 759-764. IEEE, (2017)Plant model inference for closed-loop verification of control systems: Initial explorations., and . INDIN, page 736-739. IEEE, (2016)Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions.. Ershov Memorial Conference, volume 2244 of Lecture Notes in Computer Science, page 55-63. Springer, (2001)Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems.. Ershov Memorial Conference, volume 2890 of Lecture Notes in Computer Science, page 319-328. Springer, (2003)poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language., , , , and . IEEE Access, (2022)