Liakh Tatyana Viktorovna

Publications in Math-Net.Ru

1. Temporal logic for programmable logic controllers
   
   Model. Anal. Inform. Sist., 27:4 (2020),  412–427
2. A Practical Application of IndustrialC Language in Vacuum Deposition Plant Automation
   
   Novosibirsk State University Journal of Information Technologies, 15:3 (2017),  90–99