Tools to generate and check consistency of model classes for Java PathFinder.

Matteo Ceccarello Nastaran Shafiei

Published in: ACM SIGSOFT Softw. Eng. Notes (2012)

Keyphrases

computational model
mathematical model
probabilistic model
neural network model
theoretical analysis
management system
probability distribution
hidden markov models
high level
decision making
prior knowledge
end users
learning environment
image sequences
lightweight
social networks
neural network