Автор Курбацкий Е.А. Научно-Технический Вестник информационных технологий, механики и оптики

2024 , ТОМ 24, НОМЕР 5 ( сентябрь-октябрь )

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

Меню

Публикации

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

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

Партнеры

Курбацкий Е.А.

Место работы: Университет ИТМО

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

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