NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)
AdaCore在 YouTube 播放 ↗
档案导读
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.
档案英文原文 · 来自 HackerTube 开放档案，暂未收录字幕分析。