РУсскоязычный Архив Электронных СТатей периодических изданий

Статьи автора: Рудаков И.В.

Результатов найдено: 5

ПРОВЕРКА ВЫПОЛНЕНИЯ ФУНКЦИОНАЛЬНЫХ ТРЕБОВАНИЙ К АЛГОРИТМУ НА ОСНОВЕ СТРУКТУРНОЙ ГЕНЕРАЦИИ МОДУЛЬНЫХ ТЕСТОВ

Рудаков И.В.

Программный комплекс верификации алгоритмов программного обеспечения с помощью иерархических сетей Петри

Рудаков И.В.

Формализация процесса функционирования сложных дискретных устройств на базе макромоделей функциональных блоков

Рудаков И.В.

Иерархический метод анализа функционирования программного обеспечения на основе сети Петри

Рудаков И.В.

Смешанное моделирование дискретных устройств с использованием автоматической декомпозиции макромодели функционального блока в модели элементов

Рудаков И.В.
1