Зведений каталог бібліотек Харкова

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

Валиев, М. К.
    Системы агентов, управляемых логическими прграммами: сложность верификации [Текст] / Институт прикладной математики им.М.В.Келдыша РАН, г.Москва, Россия // Программирование. — 2009. — С. 37-56.

- Анотація:

В статье рассматривается сложность проблемы верификации поведения систем взаимодействующих интеллектуальных агентов.

- Є складовою частиною документа:

- Теми документа

  • УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
  • УДК // Комп’ютерне моделювання



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського   Перейти на сайт