RT Journal Article
JF Software Product Line Conference, International
YR 2011
VO 00
IS
SP 336
TI Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)
A1 Rick Rabiser,
A1 Martin Becker,
A1 Karina Villela,
A1 David Benavides,
A1 Peter Y.H. Wong,
A1 Martin Leucker,
K1
AB 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.
PB IEEE Computer Society, [URL:http://www.computer.org]
SN
LA English
DO 10.1109/SPLC.2011.39
LK http://doi.ieeecomputersociety.org/10.1109/SPLC.2011.39