Model based Automation of Verification Development for automotive SOCs Author(s): Aljoscha Kirchner, Jan Hendrik Oetjens, and Oliver Bringmann, Location: Europe Year: 2020 Type: Presentation