Tatiana V. Lyakh

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Hardware Designs

Program Execution

Computer Programs

Evolutionary Algorithm

Top Venues

Program. Comput. Softw.

Publications

Igor S. Anureev, Natalya Olegovna Garanina, Tatiana V. Lyakh, Andrei S. Rozov, Vladimir E. Zyubin, Sergei P. Gorlatch
Dedicative Verification of Reflex Programs. Program. Comput. Softw. 46 (4) (2020)