Модельдер верификациясы

  • Пән білім алушыларды модель қасиеттерін формальды верификациялау ұғымымен, оның принциптерімен және құралдарымен таныстырады. Бұл құралды ғылыми зерттеулерде қолдану мүмкіндігі мен реттілігіне баса назар аударылады.
  • Образовательная программа 8D06101 Компьютерлік ғылымдар
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 1
  • Семестр 2
Top