• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Model Verification of Dynamic Software Product Lines.

Ismayle S. SantosLincoln S. RochaPedro de A. Santos NetoRossana 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