STATEMATE to SCADE model translation.

R. Venky Ulka Shrotri Aniket Kulkarni Prasad Bokil

Published in: ISEC (2008)

Keyphrases

computational model
statistical model
probabilistic model
network model
high level
statistical models
parameter values
computer vision
clustering algorithm
objective function
multi agent
theoretical analysis
experimental data
sensitivity analysis
formal model