Project

General

Profile

Overview

Данный проект посвящен задаче верификации разделения ресурсов в операционных системах для встроенных систем.
Исследование выполнено при финансовой поддержке РФФИ в рамках научного проекта №16-01-00356.

Научный отчет

Слайды выступления на открытой конференции ИСП РАН им. В.П. Иванникова