KZ

Верификация моделей

  • Дисциплина ознакомит обучающихся с понятием формальной верификации свойств модели, её принципами и инструментарием. Упор будет сделан на возможность и последовательность применения данного инструмента в научных исследованиях.
  • Образовательная программа 8D06102 Компьютерные науки (профильная)
  • ВУЗ Astana IT University
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 1
  • Семестр 1
Top