User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Ramesh, S.; Vogel-Heuser, Birgit; Chang, Wanli; Roy, Debayan; Zhang, Licong; Chakraborty, Samarjit 
Title:
Specification, Verification and Design of Evolving Automotive Software 
Book / Congress title:
54th Annual Design Automation Conference (DAC) 
Publisher:
ACM Press 
Date of publication:
01.01.2017 
Year:
2017 
Print-ISBN:
9781450349277 
Reviewed:
ja 
Fulltext / DOI: