Introduction aux méthodes formelles
Cybersécurité des objets connectés et conformité RED DA / CRA – Mise en œuvre technique
Radio hacking & sécurité des technologies sans fil – SDR, LoRa, Bluetooth, Wi-Fi et GNSS
Sûreté de fonctionnement dans l’aéronautique (ARP 4754, ARP4761, DO254, DO178)
