1. Современное состояние верификации поведения интеллектуальных агентов

Поставить закладку

1.1. Формальные языки (модели) описания спецификаций поведения агентов

Если Вы наш подписчик,то для того чтобы скопировать текст этой страницы в свой конспект,
используйте просмотр в виде pdf. Вам доступно 20 стр. из этой главы.

Для продолжения работы требуется Registration

Предыдущая страница

Следующая страница

Предисловие

Введение

1. Современное состояние верификации поведения интеллектуальных агентов -

1.1. Формальные языки (модели) описания спецификаций поведения агентов

1.2. Формальные языки описания свойств спецификаций поведения агентов

Контрольные вопросы

2. Формулировка типичных условий верификации спецификаций поведения агентов +

3. Прототипирование верификации поведения агентов +

Литература

Данный блок поддерживает скрол*

1. Современное состояние верификации поведения интеллектуальных агентов

Table of contents