Login / Signup
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines.
Fabian Benduhn
Thomas Thüm
Malte Lochau
Thomas Leich
Gunter Saake
Published in:
VaMoS (2015)
Keyphrases
</>
software product line
formal methods
goal driven
model checking
formal models
formal analysis
database
software engineering
learning experience
social interaction
life cycle