VeriCCM: improving the syntax and semantics of requirements models.

Danielle Gaither Kaushik Madala Hyunsook Do Barrett R. Bryant

Published in: SAC (2019)

Keyphrases

accurate models
modeling framework
decision trees
probabilistic model
computational models
statistical models
statistical model
machine learning algorithms
mathematical models
random fields
complex systems
database
parameter estimation
maximum likelihood
genetic algorithm
machine learning
neural network
databases