Login / Signup
Modeling and Verification for Probabilistic Properties in Software Product Lines.
Genaína Nunes Rodrigues
Vander Alves
Vinicius Nunes
André Lanna
Maxime Cordy
Pierre-Yves Schobbens
Amir Molzam Sharifloo
Axel Legay
Published in:
HASE (2015)
Keyphrases
</>
software product line
bayesian networks
probabilistic model
software engineering
product line
goal driven
database
real world
generative model
model checking
future directions
information technology
online learning
life cycle
colored petri nets