Вернуться к Подробностям о статье Статическая проверка корректности разделения ресурсов в системах реального времени Скачать Скачать PDF