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

档案导读

An AdaCore webinar in which NVIDIA engineers explain why and how they adopted Ada and SPARK for security-critical firmware. It covers the business case and the engineering experience of the transition.