Integrated Design and Verification of Simulation Programs.

Rahul Chattergy Udo W. Pooch

Published in: Computer (1977)

Keyphrases

simulation tools
control program
artificial intelligence
engineering design
functional verification
automatic programming
design decisions
user interface
information systems
databases
building blocks
design process
database
formal methods
simulation models
discrete event simulation
genetic algorithm
real time