37:34Developing a Secure Programming Course (AdaCore GAP Workshop June 21, 2022)AdaCore377 viewsView & Download
19:22Technical Update on Ada, SPARK, Libadalang, and VS Code (AdaCore GAP Workshop June 21, 2022)AdaCore710 viewsView & Download
39:19SPARK/Ada in Formal Software System Modeling and Design (AdaCore GAP Workshop June 21, 2022)AdaCore658 viewsView & Download
38:07Real-Time Parallel Programming (AdaCore GAP Workshop June 21, 2023)AdaCore627 viewsView & Download
3:00GAP Capstone Projects (AdaCore GAP Workshop June 21, 2023)Description:AdaCore157 viewsView & Download
17:26Update on AdaCore Technologies for Academia (AdaCore GAP Workshop June 21, 2023)AdaCore355 viewsView & Download
19:41Design and Implementation of a Networked, Embedded Oscilloscope (AdaCore GAP Workshop June 21, 2023)AdaCore331 viewsView & Download
17:27Update on the Ada Community and Alire Package Manager (AdaCore GAP Workshop June 21, 2022)AdaCore895 viewsView & Download
5:53So, How Secure are your Coding Practices? Ask AdaCoreEmbedded Computing Design157 viewsView & Download
