Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models.

Alastair F. Donaldson Alice Miller Muffy Calder

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

real time
data sets
image segmentation
statistical models
case study
three dimensional
relational databases
probabilistic model
parameter estimation
machine learning algorithms
classification models