Ryabukhin Dmitrii Aleksandrovich

Publications in Math-Net.Ru

1. Construction of CFC-programs by LTL-specification
   
   Model. Anal. Inform. Sist., 23:2 (2016),  173–184
2. On the expressiveness of the approach to constructing PLC-programs by LTL-specification
   
   Model. Anal. Inform. Sist., 22:4 (2015),  507–520
3. Modeling a Consistent Behavior of PLC-Sensors
   
   Model. Anal. Inform. Sist., 21:4 (2014),  75–90
4. Construction of PLC IL-Programs by LTL-Specification
   
   Model. Anal. Inform. Sist., 21:2 (2014),  26–38
5. Construction and Verification of PLC LD-programs by LTL-specification
   
   Model. Anal. Inform. Sist., 20:6 (2013),  78–94
6. Construction and Verification of PLC-programs by LTL-specification
   
   Model. Anal. Inform. Sist., 20:4 (2013),  5–22