Validating Simulations Between Large Nondeterministic Specifications.
Ricardo CivaleroBengt JonssonJoakim NilssonPublished in: FORTE (1993)
Keyphrases
- formal specification
- specification language
- numerical simulations
- simulation model
- database
- agent based simulations
- written in natural language
- molecular dynamics
- simulation tools
- finite automata
- initial state
- simulation environment
- finite state
- hidden markov models
- natural language
- high level
- decision trees
- information systems
- genetic algorithm
- machine learning
- neural network