Samarjit Chakraborty, S. Ramesh, Jürgen Teich. Model-based analysis, synthesis and testing of automotive hardware/software architectures. In Luca P. Carloni, Stavros Tripakis, editors, Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010. pages 299-300, ACM, 2010. [doi]
Abstract is missing.