Automatic Firmware Verification for Automotive Applications Author(s): Torsten Andre and Daniel Valtiner Location: Europe Year: 2017 Type: Paper Format: pdf Download