Перейти до головного вмісту

Українська ‎(uk)‎

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

Курси

Факультет радіоелектроніки, комп'ютерних систем та...

Кафедра комп'ютерних систем, мереж і кібербезпеки

Дисципліни докторів філософії

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

Резюме

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

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

Університет

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

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

Профком студентів
Aсистент при вступі до ХАІ
Спеціальності
3D тур по ХАІ
ФМШ ХАІ

Освіта

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

Наука

Спеціалізовані ради
Аспірантура і докторантура
Наукові видання
Академічна доброчесність
Horizon 2020

Get the mobile app