A Problem-Reduction Approach to Proving Simulation Between Programs.

Alexander Birman William H. Joyner Jr.

Published in: IEEE Trans. Software Eng. (1976)

Keyphrases

simulation environment
information systems
simulation study
machine learning
real world
data mining
artificial intelligence
social networks
decision trees
image segmentation
mathematical model
numerical simulations
reduction method
automatic programming
discrete event simulation