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