Visualizing the Dynamic Behavior of ProC/B Models.

Peter Kemper Carsten Tepper

Published in: SimVis (2005)

Keyphrases

dynamic behavior
artificial intelligence
evolutionary algorithm
statistical model
statistical models
computational models
genetic algorithm
information systems
clustering algorithm
cooperative
search algorithm
probabilistic model
complex systems
process model