• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Книга
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Под науч. редакцией: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Статья
Конструирование программных систем, нацеленное на обеспечение безопасности
В печати

Кулямин В. В., Петренко А. К., Рудина Е.

Труды Института системного программирования РАН. 2024. Т. 36. № 5. С. 7-16.

Глава в книге
Исследование нефункциональных параметров различных типов при реализации путей в параметризованных графах

Бурдонов И., Евтушенко Н. В., Евтушенко Л. Г. и др.

В кн.: Новые информационные технологии в исследовании сложных структур : материалы Пятнадцатой Международной конференции, 16–20 сентября 2024 г.. Томск: Издательство Томского государственного университета, 2024. С. 12-13.

Препринт
Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

Сотрудники

Гончаренко Валентина Павловна

Приглашенный преподаватель

Научные интересы
Кильдишев Денис Степанович

Приглашенный преподаватель

Научные интересы
Малышев Никита Евгеньевич

Приглашенный преподаватель

Научные интересы
Мельник Дмитрий Михайлович

Приглашенный преподаватель

Научные интересы
Панченко Иван Евгеньевич

Приглашенный преподаватель

Научные интересы
Черток Никита Дмитриевич

Приглашенный преподаватель

Научные интересы