Институт системного программирования им. В.П. Иванникова РАН


Андрианов Павел Сергеевич

Анализ корректности синхронизации компонентов ядра операционных систем

Диссертация принята к защите

Искомая степень: Кандидат физико-математических наук.

Специальность: 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Дата размещения: 23 марта 2021.
Текст диссертации: Скачать

Решение совета о принятии диссертации к защите: Диссертация принята к защите.
Автореферат: Скачать
Отзыв научного руководителя: Скачать
Дата защиты: 25 мая 2021.