Using SPIN for Verification of Multi-agent Data Analysis | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2014

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

формальная верификация

мультиагентный

алгоритм

анализ данных

Стр.:

P.59-67

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

Bibliogr.: p.67

Место издания:

Источник:

Proc./9th International Computer Science Symposium in Russia

Карточка:

Б3.54.

Garanina N., Bodin E., Sidorova E..

Using SPIN for Verification of Multi-agent Data Analysis-M..// Proc./9th International Computer Science Symposium in Russia, 2014.-P.59-67
Bibliogr.: p.67

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

PAP31 865