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