Menu
Publications
Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.
Partners
Anatoly . Zykov
Work place: ITMO University
Post: Associate Professor
Degree: PhD
E-mail: zykov_a_g@mail.ru
Post: Associate Professor
Degree: PhD
E-mail: zykov_a_g@mail.ru
Zykov A. ., Bezroukov A. ., Nemolochnov O. F., Polyakov V. I., Andronov A. V. GRAPH-ANALYTICAL MODELS FOR CAD COMPUTING PROCESSES
The article was published in issue №4, volume 11, 2011
The article was published in issue №4, volume 11, 2011
Nemolochnov O. F., Zykov A. ., Polyakov V. I., Makedonskiy A. . PARALLEL STRUCTURES FOR COMPUTING PROCESSES CONTROL IN CAD
The article was published in issue №4, volume 11, 2011
The article was published in issue №4, volume 11, 2011
Nemolochnov O. F., Zykov A. ., Osovetsky L. ., Polyakov V. I. МЕТОДЫ ТЕСТИРОВАНИЯ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ
The article was published in issue №11, volume 07, 2007
The article was published in issue №11, volume 07, 2007
Zykov A. ., Nemolochnov O. F., Polyakov V. I. Универсальная модель последовательностных схем в САПР
The article was published in issue №2, volume 02, 2002
The article was published in issue №2, volume 02, 2002
Zykov A. ., Nemolochnov O. F., Polyakov V. I. Построение комплексного покрытия последовательностных схем методом пересечения покрытий систем булевых функций
The article was published in issue №2, volume 02, 2002
The article was published in issue №2, volume 02, 2002
Nemolochnov O. F., Zykov A. ., Polyakov V. I. Кубические покрытия логических
условий вычислительных процессов и программ
The article was published in issue №3, volume 04, 2004
The article was published in issue №3, volume 04, 2004
Nemolochnov O. F., Zykov A. ., Polyakov V. I., Сидоров А. В. Структурирование программ и вычислительных процессов на множество
линейных и условных вершин
The article was published in issue №3, volume 05, 2005
The article was published in issue №3, volume 05, 2005
Nemolochnov O. F., Zykov A. ., Lazdin A. ., Polyakov V. I. Верификация в исследовательских, учебных и промышленных системах
The article was published in issue №5, volume 03, 2003
The article was published in issue №5, volume 03, 2003
Nemolochnov O. F., Zykov A. ., Polyakov V. I., Петров К. В. Моделирование
простых логических неисправностей вычислительных процессов программ
The article was published in issue №9, volume 06, 2006
The article was published in issue №9, volume 06, 2006
Nemolochnov O. F., Zykov A. ., Polyakov V. I., Петров К. В. Учебно-исследовательская
САПР верификации и тестирования вычислительных процессов программ
The article was published in issue №9, volume 06, 2006
The article was published in issue №9, volume 06, 2006
Nemolochnov O. F., Zykov A. ., Polyakov V. I. IMPLICATION AND EQUIVALENCE AS A BASIS FOR VERIFICATION
The article was published in issue №4, volume 10, 2010
The article was published in issue №4, volume 10, 2010
Гедич А. А., Zykov A. ., Lazdin A. . AUTOMATIC SEARCH OF LOCAL VARIABLES AND ARGUMENTS OF PROCEDURES IN
EXECUTABLE CODE DURING COMPUTATIONAL PROCESS VERIFICATION STAGE
The article was published in issue №5, volume 13, 2013
The article was published in issue №5, volume 13, 2013