Safety-Critical Systems Courses
Alan Turing Institute via YouTube Applicable and Achievable Formal Verification
USENIX via YouTube Hypervisor-less Virtio for Real-time and Safety
Linux Foundation via YouTube Collaborate on Linux for Use in Safety-Critical Systems
Linux Foundation via YouTube Learning to Control Safety-Critical Systems
Simons Institute via YouTube Cybersecurity Risk Assessment for Safety-Critical Systems
Black Hat via YouTube When Human Life Depends on Software - Introduction to Safety-Critical Systems
Devoxx via YouTube Theory Makes Beautiful Programs
NDC Conferences via YouTube Safety-Critical Systems from the Inside - NDC Oslo 2020
NDC Conferences via YouTube WebAssembly in Real-Time, Safety-Critical Systems - Keynote
Linux Foundation via YouTube