KandISTI: A Family of Model Checkers for the Analysis of Software Designs.

Maurice H. ter Beek Stefania Gnesi Franco Mazzanti

Published in: ERCIM News (2014)

Keyphrases

statistical model
computational model
high level
probabilistic model
data analysis
conceptual model
formal model
prediction model
real time
data mining
management system
parameter estimation
mathematical model
neural network model
metamodel