Cross-layer analysis, testing and verification of automotive control software

Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Manoranjan Satpathy, Stefan Resmerita, Wolfgang Pree. Cross-layer analysis, testing and verification of automotive control software. In Samarjit Chakraborty, Ahmed Jerraya, Sanjoy K. Baruah, Sebastian Fischmeister, editors, Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011. pages 263-272, ACM, 2011. [doi]

Authors

Manfred Broy

This author has not been identified. Look up 'Manfred Broy' in Google

Samarjit Chakraborty

This author has not been identified. Look up 'Samarjit Chakraborty' in Google

Dip Goswami

This author has not been identified. Look up 'Dip Goswami' in Google

S. Ramesh

This author has not been identified. It may be one of the following persons: Look up 'S. Ramesh' in Google

Manoranjan Satpathy

This author has not been identified. Look up 'Manoranjan Satpathy' in Google

Stefan Resmerita

This author has not been identified. Look up 'Stefan Resmerita' in Google

Wolfgang Pree

This author has not been identified. Look up 'Wolfgang Pree' in Google