Concepedia

E. V. Kuzmin

EV

Statistics

Publications

4

Citations

54

H-Index

4

Active since

2013

Affiliations

Yaroslavl State University(Current)

E. V. Kuzmin is an author at Yaroslavl State University specializing in formal methods, computer science, and plc programming languages.

ORCID

Publications per year

2013–2016

4

Publications

4

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

, , +7

Modeling, specification and construction of PLC-programs

E. V. Kuzmin · Automatic Control and Computer Sciences · 2014 · 14 citations

, , +9

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

, , +9

On construction and verification of PLC programs

E. V. Kuzmin · Automatic Control and Computer Sciences · 2013 · 12 citations · Full text

, , +7

1–4 of 4