![]() | ![]() |
2006 | ||
---|---|---|
2 | EE | 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 | EE | Ki Jung Hong, Tag Gon Kim: Timed I/O Test Sequences for Discrete Event Model Verification. AIS 2004: 275-284 |
1 | Tag Gon Kim | [1] [2] |