YoVDO

Safety-Critical Systems Courses

Verification and Synthesis of Autonomous Systems
University of Colorado Boulder via Coursera
Modeling Safety-Critical Systems: Wolfram U Video Class
Wolfram U
Testing C++ Templates: Investigating Tests for C++ Templates Using Adversarial Methods
ACCU Conference via YouTube
Safer C++ with MISRA-C++-2023
ACCU Conference via YouTube
汎用マイコンと認証済みソフトウェアによる機能安全システム開発
STMicroelectronics via YouTube
Spatio-Temporal Perception Logic for Verification of Perceptual Systems - Part 1
Neuro Symbolic via YouTube
Khronos APIs for Heterogeneous Compute and Safety: SYCL and SYCL SC - CppCon 2023
CppCon via YouTube
The Absurdity of Error Handling: Finding a Purpose for Errors in Safety-Critical SYCL
CppCon via YouTube
Parallelism Safety-Critical Guidelines for C++
CppCon via YouTube
Safety-Critical Systems: Techniques for Ensuring Safety and Preventing Accidents
Devoxx Poland via YouTube
< Prev Page 6 Next >