Benutzer: Gast  Login
Titel:

Specification, Verification and Design of Evolving Automotive Software

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Ramesh, S.; Vogel-Heuser, Birgit; Chang, Wanli; Roy, Debayan; Zhang, Licong; Chakraborty, Samarjit
Kongress- / Buchtitel:
54th Annual Design Automation Conference (DAC)
Verlag / Institution:
ACM Press
Publikationsdatum:
01.01.2017
Jahr:
2017
Print-ISBN:
9781450349277
Reviewed:
ja
Volltext / DOI:
doi:10.1145/3061639.3072946
 BibTeX