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