Verifying Model Oriented Specifications through Animation.

Edmund Kazmierczak Michael Winikoff Philip W. Dart

Published in: APSEC (1998)

Keyphrases

high level
cost function
probabilistic model
parameter estimation
computational model
mathematical model
artificial neural networks
management system
theoretical analysis
formal model
multiscale
reinforcement learning
multi agent systems
process model
autoregressive
specification language