Национальные ресурсы / Отчеты о НИР

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

Руководитель проекта: Садыков Е.Б.
Исполнители проекта: Тусупов Д.А.*
Организация: Евразийский национальный университет им. Л.Н.Гумилева
Инвентарный номер: 0213РК01011
Регистрационный номер: 0112РК02246
Ключевые слова: Информационные системы*Информационная безопасность*Сетевая модель*