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