Model-Based Automation of Verification Development for Automotive SOCs Author(s): Aljoscha Kirchner, Jan-Hendrik Oetjens and Oliver Bringmann Download
