AdaCore at #DesignWest

(23)

AdaCore at Embedded World 2019

(3:55)

AdaCore at TU Automotive 2018

(2:17)

AdaCore at Embedded World 2013

(1:20)

AdaCore at #EELive 2014

(21)

AdaCore at Embedded World

(26)

Ada and SPARK for Academics Workshop 2024 | GNAT Academic Program

(2:35:40)

Memory Safety with Formal Proof Webinar

(39:16)

Ada Community Advocacy

(1:29:39)

NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)

(58:37)

Ada 2012 Features

(1:2:49)

Webinar | SPARK Pro for Embedded and Systems Programming

(46:5)

SPARK/Ada for High Integrity Spacecraft Software (AdaCore GAP Workshop June 21, 2023)

(25:16)

Will Ada Replace C/C++?

(44:57)

Developing Embedded Systems in Ada

(42:42)

FSW 2023: Day 1- Adamant A New Mission Critical Flight Software Framework Written in Ada

(16:57)

AdaCore-Based Sudoku Machine // ft. Fabien Chouteau

(13:49)

Introducing AdaCore University

(2:7)

Life at AdaCore

(4:59)

AdaCore at FOSDEM 2018 - SPARK Language: Historical Perspective and FOSS Development

(50:11)

Adacore discusses ``Make with Ada'' challenge and new product announcement at #ARM TechCon 2017

(3:29)

AdaCore talking FACE and Aerospace Systems at Aerospace Tech Week

(9:17)

Why Switch to the Latest Version of Ada — AdaCore Tech Days Boston 2018

(21:18)

Five Minutes With… Fabien Chouteau, Software Engineer, Adacore

(5:20)

Make WIth Ada - Getting Started

(2:59)

Getting started with GNATtracker 3.0

(5:24)

AdaCore Booth 719

(1:1econd)

GNAT Programming Studio IDE by AdaCore

(11)

Adacore by Jamie Ayre - Open World Forum 2011

(4:29)

Integrating GPS into your Workflows — AdaCore Tech Days Boston 2018

(21:29)