Web ИРБИС

Базы данных

- результаты поиска

Вид поиска

Российский сводный каталог по научно-технической литературе

Область поиска

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

Поисковый запрос: (<.>K=верификация автоматическая<.>)

Общее количество найденных документов : 1

Ар10-28298

Набиуллин, О. Р.
Разработка метода проектирования многоагентных имитационных моделей на основе формализма машин абстрактных состояний [Текст] : автореф. дис. ... канд. техн. наук : 05.13.18 / О. Р. Набиуллин. - М., 2010. - 21 с. : ил. - Библиогр.: с. 20 (6 назв.)

ГРНТИ	28.17
УДК	004.94(043)

Кл.слова (ненормированные):
имитационное моделирование -- многоагентные модели -- программные комплексы -- проектирование -- верификация автоматическая

Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие

Тематический навигатор

Статистика обращений

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)