Ki Jung Hong

According to our database¹, Ki Jung Hong authored at least 3 papers between 2001 and 2006.

Collaborative distances:

Timeline

2001

2002

2003

2004

2005

2006

Book

In proceedings

Article

PhD thesis

Dataset

Other

2006

DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2006

2004

Timed I/O Test Sequences for Discrete Event Model Verification.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Simulation, 2004

2001

Discrete event model verification using system morphism.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2001