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

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

1. Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3
   
   Модел. и анализ информ. систем, 31:1 (2024),  32–53
2. Темпоральная логика для программируемых логических контроллеров
   
   Модел. и анализ информ. систем, 27:4 (2020),  412–427
3. Методы специализации онтологии процессов, ориентированной на верификацию
   
   Модел. и анализ информ. систем, 26:4 (2019),  534–549
4. Программирование встраиваемых микроконтроллерных систем на основе гиперпроцессов
   
   Вестник НГУ. Серия: Информационные технологии, 15:4 (2017),  64–73