Зюбин Владимир Евгеньевич

Зюбин Владимир Евгеньевич
Зюбин ВладимирЕвгеньевич
Россия, Новосибирск
Степень
Звание
Область научных интересов
Место работы и должность
  • Институт автоматики и электрометрии СО РАН — ведущий научный сотрудник
Адрес электронной почты
Список статей в журнале СИ:
Зюбин В.Е. Лях Т.В. Верификация промышленных алгоритмов управления методом Model checking в сочетании с концепцией виртуальных объектов управления // Системная информатика. — . — № 8.  — С. 11-20
Гаранина Н.О. Зюбин В.Е. Лях Т.В. Онтологический подход к организации шаблонов требований в рамках системы поддержки формальной верификации распределенных программных систем // Системная информатика. — . — № 9.  — С. 111-132
Зюбин В.Е. Лях Т.В. Розов А.С. Язык Рефлекс: практическая нотация для кибер-физических систем // Системная информатика. — . — № 12.  — С. 85-104
Гаранина Н.О. Ануреев И.С. Зюбин В.Е. Constructing Verification-Oriented Domain-Specific Process Ontologies // Системная информатика. — . — № 14.  — С. 19-30
Гаранина Н.О. Ануреев И.С. Зюбин В.Е. Розов А.С. Лях Т.В. Горлач С.П. Рассуждения о программируемых логических контроллерах // Системная информатика. — . — № 17.  — С. 33-42
Гаранина Н.О. Старолетов С.М. Зюбин В.Е. Ануреев И.С. Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 // Системная информатика. — . — № 22.  — С. 21-30