Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems

Venkita Subramonian, Christopher D. Gill. Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems. In Manfred Broy, Ingolf H. Krüger, Michael Meisinger, editors, Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers. Volume 4922 of Lecture Notes in Computer Science, pages 118-132, Springer, 2006. [doi]

@inproceedings{SubramonianG06,
  title = {Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems},
  author = {Venkita Subramonian and Christopher D. Gill},
  year = {2006},
  doi = {10.1007/978-3-540-70930-5_8},
  url = {http://dx.doi.org/10.1007/978-3-540-70930-5_8},
  tags = {empirical, reuse},
  researchr = {https://researchr.org/publication/SubramonianG06},
  cites = {0},
  citedby = {0},
  pages = {118-132},
  booktitle = {Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers},
  editor = {Manfred Broy and Ingolf H. Krüger and Michael Meisinger},
  volume = {4922},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-70929-9},
}