Abstract State Machines: a unifying view of models of computation and of system design frameworks.

Published in: Ann. Pure Appl. Log. (2005)

Keyphrases

case study
probabilistic model
design process
complex systems
modelling language
databases
artificial intelligence
decision making
decision trees
multi agent
building blocks
neural network model
design decisions
design methodology
accurate models