D. A. Ryabukhin

Statistics

Publications

Citations

H-Index

Active since

2014

Affiliations

D. A. Ryabukhin is an author at Yaroslavl State University specializing in specification languages, computer engineering, and specification development.

Publications per year

2014–2016

Publications

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

E. V. Kuzmin, D. A. Ryabukhin · Automatic Control and Computer Sciences · 2016 · 15 citations

Computing, Computer Engineering, Computer Science +7

Construction and verification of PLC LD programs by the LTL specification

E. V. Kuzmin, D. A. Ryabukhin · Automatic Control and Computer Sciences · 2014 · 13 citations · Full text

Computing, Computer Engineering, Computer Science +9

1–2 of 2