Верификация алгоритмов мультиагентного анализа данных с помо ью системы проверки моделей SPIN | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Гаранина Н. О.

Бодин Е. В.

Сидорова Е. А.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2014

Ключевые слова:

пополнение

онтология

мультиагентная система

проверка моделей

система верификации

Стр.:

С.31-43

Библиография:

Библиогр.: c.42-43

Источник:

Моделирование и анализ информационных систем

Номер:

6

Том:

21

Карточка:

Б3.54.

Гаранина Н. О., Бодин Е. В., Сидорова Е. А..

Верификация алгоритмов мультиагентного анализа данных с помо ью системы проверки моделей SPIN// Моделирование и анализ информационных систем-2014, №6.-Vol. 21.-С.31-43
Библиогр.: c.42-43

Таблица в старой библиотеке:

PAP31 913