RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Евтушенко Нина Владимировна

В базах данных Math-Net.Ru
Публикаций: 11
Научных статей: 11
Цитированных статей: 2
Ссылок в Math-Net.Ru: 2

Статистика просмотров:
Эта страница:781
Страницы публикаций:1075
Полные тексты:327
Списки литературы:99
профессор
доктор технических наук
E-mail:

http://www.mathnet.ru/rus/person43462
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
http://www.ams.org/mathscinet/search/author.html?return=viewitems&mrauthid=213615

Публикации в базе данных Math-Net.Ru
1. Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов
А. С. Твардовский, К. Эль-Факи, М. Л. Громов, Н. В. Евтушенко
Модел. и анализ информ. систем, 24:4 (2017),  496–507
2. Минимизация автоматов с таймаутами и временными ограничениями
А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов
Труды ИСП РАН, 29:4 (2017),  139–154
3. Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата
А. Д. Ермаков, Н. В. Евтушенко
Модел. и анализ информ. систем, 23:6 (2016),  729–740
4. К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов
А. Д. Ермаков, Н. В. Евтушенко
Труды ИСП РАН, 28:3 (2016),  123–144
5. Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN
Н. Г. Кушик, А. Маммар, А. Кавалли, Н. В. Евтушенко, В. Джиминез, Э. Монте де Ока
Модел. и анализ информ. систем, 18:4 (2011),  131–143
6. Решение параллельных уравнений для $\omega$-языков
В. Г. Бушков, Н. В. Евтушенко
ПДМ, 2010, № 2(8),  117–123
7. Решение параллельных уравнений для $\omega$-регулярных языков
В. Г. Бушков, Н. В. Евтушенко
ПДМ, 2009, № приложение № 1,  6–7
8. Синтез условных различающих экспериментов для автоматов с недетерминированным поведением
М. Л. Громов, Н. В. Евтушенко
ПДМ, 2009, № 4(6),  90–101
9. Построение проверяющего множества для компоненты последовательной автоматной сети
Н. В. Евтушенко, А. В. Лебедев, А. Ф. Петренко
Автомат. и телемех., 1994, № 8,  145–153
10. О вероятностном подходе к вычислению оценок управляемости и наблюдаемости узла дискретного устройства
Н. В. Евтушенко, А. Ю. Матросова
Автомат. и телемех., 1993, № 11,  152–160
11. К синтезу контролепригодных автоматных сетей
Н. В. Евтушенко, А. Ю. Матросова
Автомат. и телемех., 1991, № 3,  143–152
12. Описание каскадных сетей конечных автоматов в терминах кодирований и покрытий
Г. П. Агибалов, Н. В. Евтушенко
Пробл. передачи информ., 18:3 (1982),  74–84

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017