Skip to main content
  • Close
    Toggle search input
  • English ‎(en)‎
    • Русский ‎(ru)‎
    • Українська ‎(uk)‎
    • English ‎(en)‎
  • Log in

Формальні методи ана ...

Close
Toggle search input
  1. Courses
  2. Факультет радіоелектроніки, комп'ютерних систем та інфокомунікацій
  3. Кафедра комп'ютерних систем, мереж і кібербезпеки
  4. Дисципліни докторів філософії
  5. Формальні методи аналізу безпеки
  6. Summary
  • More

Формальні методи аналізу безпеки

  • Teacher: Ілляшенко Олег Олександрович

Університет

  • Нормативні документи
  • Керівництво
  • Міжнародне співробітництво
  • Фотогалерея
  • Контакти

Абітуріентам

  • Профком студентів
  • Aсистент при вступі до ХАІ
  • Спеціальності
  • Правила прийому
  • Доуніверситетська освіта

Освіта

  • Факультети і кафедри
  • Графік освітнього процесу
  • Навчання іноземців
  • Наукова бібліотека
  • Наукові конференції

Наука

  • Спеціалізовані ради
  • Аспірантура і докторантура
  • Наукові видання
  • Науково-дослідна частина
  • Рада молодих учених

МОН

Центр занятости

НКП

Темпус

Get the mobile app