Jin-Ki Hong

According to our database, Jin-Ki Hong authored at least 1 paper in 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2000

Computer-aided design validation of safety-critical software systems.

Jin-Ki Hong, Rex E. Gantenbein, Sung Y. Shin

ACIS Int. J. Comput. Inf. Sci., 2000