Benutzer: Gast  Login
Dokumenttyp:
Konferenzbeitrag 
Autor(en):
Ramesh, S.; Vogel-Heuser, Birgit; Chang, Wanli; Roy, Debayan; Zhang, Licong; Chakraborty, Samarjit 
Titel:
Specification, Verification and Design of Evolving Automotive Software 
Kongress- / Buchtitel:
54th Annual Design Automation Conference (DAC) 
Verlag / Institution:
ACM Press 
Publikationsdatum:
01.01.2017 
Jahr:
2017 
Print-ISBN:
9781450349277 
Reviewed:
ja