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

• HONG G. P.

収録刊行物

• Trans. Soc. Comput. Simul. (USA)

  Trans. Soc. Comput. Simul. (USA) 13 (1), 19-34, 1996

詳細情報

• CRID: 1572543025018391040
• NII論文ID: 10012450917
• データソース種別:
  • CiNii Articles