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

2024 , ТОМ 24, НОМЕР 1 ( январь-февраль )

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

Меню

Публикации

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

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

Партнеры

Лаздин Артур Вячеславович

Место работы: Университет ИТМО
Должность: доцент

Лаздин А. В., Немолочнов О. Ф. Оценка сложности графа функциональной программы
Статья опубликована в выпуске №2, том 02, 2002

Лаздин А. В., Немолочнов О. Ф. Метод построения графа функциональной программы для решения задач верификации и тестирования
Статья опубликована в выпуске №2, том 02, 2002

Немолочнов О. Ф., Зыков А. Г., Лаздин А. В., Поляков В. И. Верификация в исследовательских, учебных и промышленных системах
Статья опубликована в выпуске №5, том 03, 2003

Гедич А. А., Зыков А. Г., Лаздин А. В. АВТОМАТИЧЕСКИЙ ПОИСК ЛОКАЛЬНЫХ ПЕРЕМЕННЫХ И АРГУМЕНТОВ ПРОЦЕДУРЫ В ИСПОЛНЯЕМОМ КОДЕ ПРОГРАММЫ ПРИ ВЕРИФИКАЦИИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ
Статья опубликована в выпуске №5, том 13, 2013

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