- Titel:
Cross-layer analysis, testing and verification of automotive control software
- Autor(en):
- Broy, Manfred; Chakraborty, Samarjit; Goswami, Dip; Ramesh, S.; Satpathy, Manoranjan
- Kongress- / Buchtitel:
- International Conference on Embedded Software (EMSOFT)
- Jahr:
- 2011
- BibTeX