2014
Conference article  Restricted

Formal methods and analyses in software product line engineering (Track Summary)

Schaefer I., Ter Beek M. H.

Analysis techniques  Software Product Line Engineering  Formal methods 

Track Summary

Source: ISoLA 2014 - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. 6th International Symposium, pp. 253–256, Corfu, Greece, 8-11 October 2014

Publisher: Springer, Berlin , Germania


Metrics



Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:294362,
	title = {Formal methods and analyses in software product line engineering (Track Summary)},
	author = {Schaefer I. and Ter Beek M.  H.},
	publisher = {Springer, Berlin , Germania},
	doi = {10.1007/978-3-662-45234-9_18},
	booktitle = {ISoLA 2014 - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. 6th International Symposium, pp. 253–256, Corfu, Greece, 8-11 October 2014},
	year = {2014}
}