Вернуться к спискуТитульный листВерсия для печати

Содержание:

Введение

Архитектура системы

Моделирование конфликта с помощью проверки на модели

Моделирование конфликта в исчислении событий

Выводы

Литература