11.
Р у д а к о в И. В., Р е б р и к о в А. В. Неполная верификация систем, пред-
ставленных в виде вероятностных автоматов с нечеткой функцией переходов
//
Информатика и системы управления в XXI веке: Сб. тр. молодых ученых,
аспирантов и студентов МГТУ им. Н.Э. Баумана. – 2010. – С. 76–78.
12.
H a r r i s o n. Applying Mccabe’s complexity measure to multiple-exit programs:
Software: Practice and Experience. October 1984. Vol. 14, Issue 10. – P. 1004–1007.
13.
Б р у с е н ц о в Л. Автоматическая оптимизация при компиляции [Электрон.
ресурс]. [Режим доступа свободный]
/
14.
C o m p r e h e n s i v e Perl Archive Network [Электрон. ресурс]
[
Режим доступа свободный].
15.
C o m p r e h e n s i v e Perl Archive Network, pgriffin’s author page [Электрон.
ресурс]
pgriffin/ [Режим доступа свободный].
16.
Р е б р и к о в А. В. Автоматический генератор тестов. 2010. 02076881.00425-
01.
Статья поступила в редакцию 10.05.2012
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
79
