• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Магистратура 2026/2027

Формальные методы валидации и верификации моделей

ID 1192094

Статус: Курс обязательный (Бизнес-информатика)
Когда читается: 2-й курс, 2 модуль
Охват аудитории: для своего кампуса
Язык: русский
Кредиты: 3
Контактные часы: 28

Программа дисциплины

Аннотация

В этом учебном курсе студенты изучают общие принципы моделирования, анализа и дизайна сложных систем различной природы на основе единых принципов системного подхода и современных программных технологий, применяемых для многоаспектного моделирования технических и гибридных систем.