ISSN 0021-3454 (печатная версия)
ISSN 2500-0381 (онлайн версия)
Меню
Автор
int(1489)

Зыков Анатолий Геннадьевич

Место работы: Университет ИТМО
Должность: доцент
Ученая степень: кандидат технических наук
E-mail: zykov_a_g@mail.ru
Немолочнов О. Ф., Зыков А. Г., Кулагин В. С., Осовецкий Л. Г., Поляков В. И., Суханов А. В. МЕТОД ОБНАРУЖЕНИЯ НЕДЕКЛАРИРОВАННЫХ ВОЗМОЖНОСТЕЙ И ЗНАЧЕНИЙ DON’T CARE ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА
Статья опубликована в выпуске 12(52) за 2009
Гедич А. А., Зыков А. Г., Лаздин А. В., Поляков В. И. ПОИСК ПРОЦЕДУР ПО ГРАФУ ПЕРЕХОДОВ ФУНКЦИОНАЛЬНОЙ ПРОГРАММЫ ПРИ ВЕРИФИКАЦИИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ
Статья опубликована в выпуске 4(57) за 2014