The Community for Technology Leaders
Software Product Line Conference, International (2011)
Munich, Germany
Aug. 22, 2011 to Aug. 26, 2011
ISBN: 978-0-7695-4487-8
pp: 336
ABSTRACT
This workshop will bring together researchers interested in raising the efficiency and the effectiveness of Software Product Line Engineering by applying innovative analysis approaches and formal methods.
INDEX TERMS
CITATION
David Benavides, Martin Leucker, Martin Becker, Rick Rabiser, Karina Villela, Peter Y.H. Wong, "Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)", Software Product Line Conference, International, vol. 00, no. , pp. 336, 2011, doi:10.1109/SPLC.2011.39
95 ms
(Ver 3.3 (11022016))