Автор Вельдер Сергей Эдуардович Научно-Технический Вестник информационных технологий, механики и оптики

2024 , ТОМ 24, НОМЕР 6 ( ноябрь-декабрь )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Меню

Публикации

Главный редактор

НИКИФОРОВ
Владимир Олегович
д.т.н., профессор

Партнеры

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

Место работы: Университет ИТМО
Должность: аспирант
Ученая степень: магистр прикладной математики и информатики
E-mail: velder@rain.ifmo.ru

Вельдер С. Э., Шалыто А. А. ВЕРИФИКАЦИЯ АВТОМАТНЫХ МОДЕЛЕЙ МЕТОДОМ РЕДУЦИРОВАННОГО ГРАФА ПЕРЕХОДОВ
Статья опубликована в выпуске №6, том 09, 2009

Вельдер С. Э., Шалыто А. А. МЕТОДЫ ВЕРИФИКАЦИИ МОДЕЛЕЙ АВТОМАТНЫХ ПРОГРАММ
Статья опубликована в выпуске №8, том 08, 2008

Вельдер С. Э., Шалыто А. А. ВВЕДЕНИЕ В ВЕРИФИКАЦИЮ АВТОМАТНЫХ ПРОГРАММ НА ОСНОВЕ МЕТОДА MODEL CHECKING
Статья опубликована в выпуске №8, том 07, 2007

Информация 2001-2024 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.