1.
Никифоров ВВ, Баранов СН. Статическая проверка корректности разделения ресурсов в системах реального времени. ТС [Интернет]. 31май2017 [цитируется по 23ноя.2024];3(52):137-56. Available from: https://ia.spcras.ru/index.php/sp/article/view/3539