"Vérification de systèmes embarqués aérospatiaux" par Pierre Roux

Picked video by video from Fondation sciences mathématiques de Paris (mixed channel): title plainly names a teaching subject. Channel transcript sample: Two samples are genuine structured math lectures/seminars while the third is a personal-interview clip, matching the mixed pick profile.