58:08AdaCore 26: Accelerating the High-Integrity Software Development LifecycleAdaCore176 viewsView & Download
1:22:26Making certifiable AI a reality for critical systems: SAFEXPLAIN core demoHiPEAC TV338 viewsView & Download
9:11How to establish a validated state in Agile software developmentMedical Device HQ173 viewsView & Download
