SPARK и Ada делают беспилотники - проект AdaCore с AFRL.

Name: SPARK и Ada делают беспилотники - проект AdaCore с AFRL.
Uploaded: 2022-09-29T19:24:52+03:00
Duration: 23 min 57 s
Channel: Сергей Киркоров
Description: SPARK и Ada делают беспилотники - Научно-исследовательский проект AdaCore с AFRL. Научно-исследовательский проект AdaCore в сотрудничестве с Исследовательской лабораторией ВВС. Представлен Тони Айелло на AdaCore Tech Days в Бостоне, 2019.

12+

14 просмотров

4 года назад

SPARK и Ada делают беспилотники - Научно-исследовательский проект AdaCore с AFRL. Научно-исследовательский проект AdaCore в сотрудничестве с Исследовательской лабораторией ВВС. Представлен Тони Айелло на AdaCore Tech Days в Бостоне, 2019.