Chang-Jin Kim

Affiliations:

Korea University

According to our database¹, Chang-Jin Kim authored at least 2 papers between 2006 and 2007.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2007

Formal Embedded Operating System Model Based on Resource-Based Design Framework.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

2006

Transformation of the Ravenscar Profile Based Ada Real-time Application to the Verification-ready Statecharts: Reverse Engineering and Statemate approach.

[BibT_eX]

Chang-Jin Kim

Jin-Young Choi

Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

Chang-Jin Kim

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...