Formal Fault Propagation Analysis that Scales to Modern Automotive SoCs Author(s): Sergio Marchese and Jörg Grosse Location: Europe Year: 2017 Type: Paper Format: pdf Download
