Ki Jung Hong

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2006

2 Ki Jung Hong, Tag Gon Kim: DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems. Information & Software Technology 48(4): 221-234 (2006)

2004

1 Ki Jung Hong, Tag Gon Kim: Timed I/O Test Sequences for Discrete Event Model Verification. AIS 2004: 275-284

	2006
2		Ki Jung Hong, Tag Gon Kim: DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems. Information & Software Technology 48(4): 221-234 (2006)
	2004
1		Ki Jung Hong, Tag Gon Kim: Timed I/O Test Sequences for Discrete Event Model Verification. AIS 2004: 275-284

Coauthor Index

1 Tag Gon Kim [1] [2]