Artículo:

A Framework for Verifying Discrete Event Models Within a DEV Based System Development Methodology

Autor:

G. P. Hong

T G. Kim

Página:

19

Publicación:

Transactions of The Society for Computer Simulation

Volúmen:

13

Número:

1

Periodo:

Mazo 1996

ISSN:

07406797

SrcID:

07406797-1996-01.TXT