Научный журнал ISSN 1684-8853 English
Информационно-управляющие системы
Рецензируемое издание

Вельдер Сергей Эдуардович

Вельдер Сергей Эдуардович

Магистрант кафедры компьютерых технологий Санкт-Петербургского государственного университета информационных технологий, механики и оптики. Область научных интересов - верификация программ.

Статьи автора:

  1. О верификации простых автоматных программ на основе метода Model Checking
    С. Э. Вельдер , А. А. Шалыто
    Журнал: 3(28)/2007 (Программные и аппаратные средства)