Simulation of Procedure Variables Using Ada Tasks.

David Alex Lamb Paul N. Hilfinger

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

Keyphrases

variable selection
simulation models
data sets
simulation model
control system
np complete
search procedure
causal models