Integrating Software Safety and Product Line Engineering using Formal Methods: Challenges and Opportunities (bibtex)
by Martin Becker, Soeren Kemmann, K. C. Shashidhar
Reference:
M. Becker, S. Kemmann and K. C. Shashidhar, "Integrating Software Safety and Product Line Engineering using Formal Methods: Challenges and Opportunities", in Proceedings of Software Product Line Conference (SPLC '10), pp. 129-136.
Bibtex Entry:
@INPROCEEDINGS{Becker2010,
  author = {Becker, Martin and Kemmann, Soeren and Shashidhar, K. C.},
  title = {Integrating Software Safety and Product Line Engineering using Formal
	Methods: Challenges and Opportunities},
  booktitle = {Proceedings of Software Product Line Conference (SPLC '10)},
  volume = {2},
  year = {2010},
  pages = {129-136},
  url = {http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf}
}
Powered by bibtexbrowser