Application of Formal Methods to High-Security Requirements Software

Name: Application of Formal Methods to High-Security Requirements Software
Duration: 1 h 13 min 1 s
Description: Application of Formal Methods to High-Security Requirements Software — a Automotive Security Research Group security conference talk on automotive (1:13:01 min). Watch the full video, indexed free on the Breach Arc Archive.

Automotive Security Research Group · 1:13:01

▶

Application of Formal Methods to High-Security Requirements Software — a Automotive Security Research Group security conference talk on automotive (1:13:01 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

automotive

← Back to the Breach Arc Archive