Framework for verifying discrete event models within a DEVS-based system development methodology

Transactions of the Society for Computer Simulation

Volumn 13, Issue 1, 1996, Pages 19-34

  Hong, G P ^a   Kim, T G ^a  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; MODELS; NETWORK PROTOCOLS;

DUAL SPECIFICATION; MODEL VERIFICATION; TEMPORAL LOGIC;

COMPUTER SIMULATION;

EID: 0030092656     PISSN: 07406797     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (16)