3 Модели и методы для обоснования выбора состава аппаратных средств ВС

В разделе 3 “ МОДЕЛИ ТЕОРИИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ ” опубликована статья авторов Грешилова М.В., Калашников С.Г., Лебедь А.А.,. Логинов А.В, Фролова А.А., Дзегеленок И.И. “Интегрированная среда автоматизированного синтеза конечных автоматов”,
статья авторов Деев И.А., Фрид А.И. “Интеллектуальный буфер диспетчера задач вычислительной системы”,
статья авторов Леонтьев А.Е., Бржезовский А.В. “Методика анализа UML диаграмм для получения  ресурсных характеристик системы”,
статья авторов Орлов Д.А., Харитонов В.Ю., Дзегелёнок И.И. “Анализатор некорректного поведения минимизированных конечно-автоматных моделей”