Вернуться к Подробностям о статье Анализ непротиворечивости моделей архитектуры предприятия с использованием формальных методов верификации Скачать Скачать PDF