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

Место работы: Университет ИТМО
Должность: аспирант
Ученая степень: магистр прикладной математики и информатики
E-mail: velder@rain.ifmo.ru
Вельдер С. Э., Шалыто А. А. ВЕРИФИКАЦИЯ АВТОМАТНЫХ МОДЕЛЕЙ МЕТОДОМ РЕДУЦИРОВАННОГО ГРАФА ПЕРЕХОДОВ
Статья опубликована в выпуске 6(64) за 2009
Вельдер С. Э., Шалыто А. А. МЕТОДЫ ВЕРИФИКАЦИИ МОДЕЛЕЙ АВТОМАТНЫХ ПРОГРАММ
Статья опубликована в выпуске 8(53) за 2008
Вельдер С. Э., Шалыто А. А. ВВЕДЕНИЕ В ВЕРИФИКАЦИЮ АВТОМАТНЫХ ПРОГРАММ НА ОСНОВЕ МЕТОДА MODEL CHECKING
Статья опубликована в выпуске 8(42) за 2007
Информация 2001-2017 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

Яндекс.Метрика