Calculating upward and downward simulations of state-based specifications.

John Derrick Eerke A. Boiten

Published in: Inf. Softw. Technol. (1999)

Keyphrases

state space
database
neural network
high level
e learning
decision trees
digital libraries
numerical simulations