Items where authors include "Vogel-Heuser, Birgit"
![[up]](/style/images/multi_up.png)
Up a levelJump to: Proceedings Paper
Number of items: 1.
Proceedings Paper
Ramesh, S, Vogel-Heuser, Birgit, Chang, Wanli orcid.org/0000-0002-4053-8898 et al. (2 more authors) (2017) Specification, verification and design of evolving automotive software. In: Design Automation Conference (DAC). UNSPECIFIED. IEEE .