C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Model Verification of Dynamic Software Product Lines.
Ismayle S. Santos
Lincoln S. Rocha
Pedro de A. Santos Neto
Rossana M. C. Andrade
Published in:
SBES (2016)
Keyphrases
</>
high level
probabilistic model
computational model
mathematical model
software product line
neural network
learning environment
learning objects
online learning
future directions
verification method