Лях Татьяна Викторовна

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