Formal Fault Propagation Analysis that Scales to Modern Automotive SoCs Author(s): Sergio Marchese Location: Europe Year: 2017 Type: Presentation Format: pdf Download