12+08:03
Системы критически важных для безопасности – подход AdaCore на Embedded World 2025
16
просмотров
Месяц назад
Ссылка на плейлистhttps://rutube.ru/plst/205602/
36
26.03.2025
Видео от AdaCore
Видео от AdaCore - технические и информационные видео материалы подготовленные компанией AdaCore. Перевод с английского выполнен машинным способом. Посвящено продуктам компании AdaCore - динейка программных средств разработки критически важных к безопасности программ и формальному доказательству безопасности алгоритмов, компилятор GNAT и необходимые утилиты для разработки безопасных и надежных программ .
36 видео
12+
12+1:00:31
Вебинар 2025 03 06 Что нового в GNAT Pro основные функции и дорожная карта
36
просмотров
2 месяца назад
12+06:07
История с Ada 2012
19
просмотров
9 месяцев назад
12+18:52
2024-06-03 TOML-парсер для Ada
23
просмотра
Год назад
12+12:00
Встреча Ada SPARK - GNAT Studio, как SPARK поможет обнаруживать ошибки
25
просмотров
Год назад
12+16:59
12+49:17
Alire - это менеджер пакетов языка программирования Ada
19
просмотров
Год назад
12+49:18
12+17:37
12+32:36
12+1:09:00
12+39:14
Вебинар по безопасности памяти программ с формальным доказательством
25
просмотров
Год назад
12+48:51
Вебинар Проверка безопасности программного обеспечения с помощью SPARK Pro
11
просмотров
Год назад
12+38:59
12+46:00
Вебинар: SPARK Pro для встроенного и системного программирования
12
просмотров
Год назад
12+22:34
Поддержка AdaCore для встраиваемых систем на языках C-Cplusplus
6
просмотров
Год назад
12+24:44
Инструменты автоматической генерации кода упрощают процесс сертификации
12
просмотров
Год назад
12+33:23
Запись Вебинара 2022-11-15 How to run Ada code on NVIDIA GPU.
17
просмотров
2 года назад
12+09:51
4 - Lean Event - Open-DO - На пути к бережливому подходу к сертификации.
9
просмотров
3 года назад
12+09:24
3 - Lean Event - Open-DO - На пути к бережливому подходу к сертификации.mp4
8
просмотров
3 года назад