Concepedia

Author

Evgeny Cherkashin

Institute for System Dynamics and Control TheoryORCID

Also Known As

Cherkashin, Evgeny, E A Cherkashin, E. A. Cherkashin, E. Cherkashin, E.A. Cherkashin, Evgenii Cherkashin, Evgeny A. Cherkashin, Evgeny Alexandrovich Cherkashin, Evgeny Cherkashin, Е. Черкашин

48

Publications

133

Citations

5

H-Index

6

Concepts

All Affiliations

Institute for System Dynamics and Control TheoryIrkutsk State University
EC

About

Evgeny Cherkashin is an author at Institute for System Dynamics and Control Theory specializing in formal methods, verification, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

12

2

Computer Science

1

1

12

3

Automated Reasoning

1

1

12

4

Formal Methods

1

1

12

5

Formal Verification

1

1

12

Evgeny Cherkashin

×

3

Publications

90

Citations

3

H-Index

YearCitations

Page 1