Рябухин Дмитрий Александрович

Публикации в базе данных Math-Net.Ru

1. Построение CFC-программ ПЛК по LTL-спецификации
   
   Модел. и анализ информ. систем, 23:2 (2016),  173–184
2. О выразительности подхода к построению ПЛК-программ по LTL-спецификации
   
   Модел. и анализ информ. систем, 22:4 (2015),  507–520
3. Моделирование согласованного поведения ПЛК-датчиков
   
   Модел. и анализ информ. систем, 21:4 (2014),  75–90
4. Построение IL-программ ПЛК по LTL-спецификации
   
   Модел. и анализ информ. систем, 21:2 (2014),  26–38
5. Построение и верификация LD-программ ПЛК по LTL-спецификации
   
   Модел. и анализ информ. систем, 20:6 (2013),  78–94
6. Построение и верификация ПЛК-программ по LTL-спецификации
   
   Модел. и анализ информ. систем, 20:4 (2013),  5–22