Safety-Critical Systems Courses
Toronto Machine Learning Series (TMLS) via YouTube Application of the Upcoming SPDX Safety Profile
Linux Foundation via YouTube Towards AI-Based Applications Certification
ANITI Toulouse via YouTube Nuclear Rust - Introducing Rust in Nuclear Software Industry
Conf42 via YouTube Dealing with Static Analysis Findings: MISRA - Lecture
Meeting Cpp via YouTube Trustworthy Runtime Verification via Bisimulation - Experience Report
ACM SIGPLAN via YouTube Pipit: Reactive Systems in F★ for Safety-Critical Control Systems
ACM SIGPLAN via YouTube BASIL - The FuSa Spice to Spot Gaps in Kernel Testing and More
Linux Plumbers Conference via YouTube BASIL - The FuSa Spice to Spot Gaps in Kernel Testing and More
Linux Plumbers Conference via YouTube Writing a Base Level Library for Safety Critical Code in C++ - Lecture
ACCU Conference via YouTube