D. A. Ryabukhin

According to our database, D. A. Ryabukhin authored at least 5 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2017

Construction of CFC-Programs by LTL-Specification.

D. A. Ryabukhin, E. V. Kuzmin, Valery A. Sokolov

Autom. Control. Comput. Sci., 2017

2016

On the expressiveness of the approach to constructing PLC-programs by LTL-specification.

E. V. Kuzmin, D. A. Ryabukhin, Valery A. Sokolov

Autom. Control. Comput. Sci., 2016

2015

Construction and verification of PLC-programs by LTL-specification.

E. V. Kuzmin, Valery A. Sokolov, D. A. Ryabukhin

Autom. Control. Comput. Sci., 2015

2014

Construction and verification of PLC LD programs by the LTL specification.

E. V. Kuzmin, Valery A. Sokolov, D. A. Ryabukhin

Autom. Control. Comput. Sci., 2014

Modeling a consistent behavior of PLC-sensors.

E. V. Kuzmin, D. A. Ryabukhin, Valery A. Sokolov

Autom. Control. Comput. Sci., 2014