Seungjae Jeon
According to our database1,
Seungjae Jeon
authored at least 4 papers
between 2006 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
CoRR, 2023
2010
FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram.
J. Res. Pract. Inf. Technol., 2010
2006
Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006