Rozov Andrey Sergeevich

Publications in Math-Net.Ru

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