Model-based analysis, synthesis and testing of automotive hardware/software architectures

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]

@inproceedings{ChakrabortyRT10,
  title = {Model-based analysis, synthesis and testing of automotive hardware/software architectures},
  author = {Samarjit Chakraborty and S. Ramesh and Jürgen Teich},
  year = {2010},
  doi = {10.1145/1879021.1879061},
  url = {http://doi.acm.org/10.1145/1879021.1879061},
  tags = {rule-based, software architecture, architecture, testing, analysis},
  researchr = {https://researchr.org/publication/ChakrabortyRT10},
  cites = {0},
  citedby = {0},
  pages = {299-300},
  booktitle = {Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
  editor = {Luca P. Carloni and Stavros Tripakis},
  publisher = {ACM},
  isbn = {978-1-60558-904-6},
}