- Title:
Cross-layer analysis, testing and verification of automotive control software
- Author(s):
- Broy, Manfred; Chakraborty, Samarjit; Goswami, Dip; Ramesh, S.; Satpathy, Manoranjan
- Book / Congress title:
- International Conference on Embedded Software (EMSOFT)
- Year:
- 2011
- BibTeX