Лях Татьяна Викторовна Россия, Новосибирск Область научных интересов предметно-ориентированные языки программирования верификация алгоритмов управления автоматизация систем контроля и управления Место работы и должность Институт автоматики и электрометрии СО РАН — инженер-программист Новосибирский государственный университет — ассистент преподавателя Адрес электронной почты antsys_nsu@mail.ru
Зюбин В.Е., Лях Т.В. Верификация промышленных алгоритмов управления методом Model checking в сочетании с концепцией виртуальных объектов управления // Системная информатика. — 2016. — № 8. — С. 11-20
Гаранина Н.О., Зюбин В.Е., Лях Т.В. Онтологический подход к организации шаблонов требований в рамках системы поддержки формальной верификации распределенных программных систем // Системная информатика. — 2017. — № 9. — С. 111-132
Зюбин В.Е., Лях Т.В., Розов А.С. Язык Рефлекс: практическая нотация для кибер-физических систем // Системная информатика. — 2018. — № 12. — С. 85-104
Гаранина Н.О., Ануреев И.С., Зюбин В.Е., Розов А.С., Лях Т.В., Горлач С.П. Рассуждения о программируемых логических контроллерах // Системная информатика. — 2020. — № 17. — С. 33-42
