Now showing items 1-2 of 2
A taxonomical review of software verification techniques: an illustration using discrete-event simulation
(Virginia Tech, 1988-10-15)
<p>The use of simulation and modeling as a technique for solving today's complex problems is ever-increasing. Correspondingly, the demands placed on the software which serves as a computer-executable representation of ...
Conceptual frameworks for discrete event simulation modeling
(Virginia Tech, 1988-08-05)