Discrete Event Simulation as a Means of Validating JSD Design Specifications

Colin Potts, A. Bartlett, B. H. Cherrie, Roy MacLean. Discrete Event Simulation as a Means of Validating JSD Design Specifications. In ICSE. pages 119-127, 1985.

Bibliographies