У нас вы можете посмотреть бесплатно Panel: Building a Business Case for Using a Verified Kernel или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
Panel: Building a Business Case for Using a Verified Kernel Speakers: Darren Cofer, Yanyan Shen, Robbie VanVossen, Juliana Furgala, Boyd Multerer, Peter de Ridder We are very fortunate to welcome five industry leaders to participate at the seL4 Summit 2025, in a session Building a business case for using a verified kernel Collins Aerospace, DornerWorks, Kry10, NIO, and MEP. The panel will be moderated by Juliana Furgala from MIT Lincoln Laboratory.