Zyubin Vladimir Evgenievich

Publications in Math-Net.Ru

1. Model checking programs in process-oriented IEC 61131-3 Structured Text
   
   Model. Anal. Inform. Sist., 31:1 (2024),  32–53
2. Temporal logic for programmable logic controllers
   
   Model. Anal. Inform. Sist., 27:4 (2020),  412–427
3. Methods for domain specification of verification-oriented process ontology
   
   Model. Anal. Inform. Sist., 26:4 (2019),  534–549
4. Hyperprocess-Based Approach for Embedded Microcontroller Programming
   
   Novosibirsk State University Journal of Information Technologies, 15:4 (2017),  64–73