User: Guest  Login
Title:

Specification, Verification and Design of Evolving Automotive Software

Document type:
Konferenzbeitrag
Author(s):
Ramesh, S.; Vogel-Heuser, Birgit; Chang, Wanli; Roy, Debayan; Zhang, Licong; Chakraborty, Samarjit
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:
doi:10.1145/3061639.3072946
 BibTeX