00:16:59
Adamant - Новая критически важная платформа программного обеспечения для полетов - написанная на Ada
Описание
6 мая 2024 г. Презентации семинара по летному программному обеспечению 2023 года
Кевин Динкел (AdaCore/LASP) подготовил презентацию "Adamant - новая платформа программного обеспечения для полетов с критически важными задачами, написанная в Ada presents" для семинара FSW Workshop 2023, организованного Лабораторией реактивного движения в марте 2023 года.
Рекомендуемые видео
Передовая подводная лодка своего времени — U-995
2 284 просмотров
Наша новая лодка — обзор и первый спуск на воду | Alpina GT 480
11 222 просмотров
Ассирия - Первая Сверхдержава в истории.
221 568 просмотров
История возрождения Восток-1 и КВ-44 + бонусная сцена
651 просмотров
Алексей Исаев про Керченскую оборонительную операцию
7 713 просмотров
Алексей Исаев про Керченско-Феодосийскую десантную операцию
7 665 просмотров
Последняя Арта кидающая в игровое поле не просто так - Объект 261.
1 651 просмотров
Сложная Карта и Сложное начало боя но как то выкрутился - Объект 261.
1 616 просмотров
Проект, который начинался как шутка | Обзор карты «Красный партизан» для FS25
375 просмотров
Идёт создание новой реальности. Самый опасный сценарий развития событий. Андрей Фурсов
52 290 просмотров
Интересный бой на самой сложной карте для Артиллерии - GWE 100.
1 536 просмотров
Пробития на Арте по картону стала чисто разовая Акция - Объект 261.
1 474 просмотров
Honda Stepwgn - лучший минивен или переоценённая легенда? Всё, что нужно знать перед покупкой!
5 204 просмотров
Лада Аура - полный разбор на компоненты.
110 906 просмотров
Один из самых амбициозных проектов в истории кораблестроения — Советский Союз
4 625 просмотров
Атака на Тирпиц — Подводная лодка К-21
4 356 просмотров
Банда ГТА | Это реальная история 2
74 301 просмотров
Доисторическая планета - 3 сезон 5 серия / Prehistoric Planet (озвучка Jaskier)
8 100 просмотров
«Движение вверх» крутой проект для не простых детей! -- Андрей Качалаба. Ссылка на 2 часть под видео
394 просмотров
Джеймс Бонд: Последняя ложь Британской империи / Уроки истории / Минаев
21 186 просмотров