Jae Yeon Jo

According to our database, Jae Yeon Jo authored at least 2 papers in 2011.

Collaborative distances:

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

2011

A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems.

Sanghyun Yoon, Jae Yeon Jo, Junbeom Yoo

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech.

Han Choi, Sung Deok Cha, Jae Yeon Jo, Junbeom Yoo, Hae Young Lee, Wontae Kim

Proceedings of the Control and Automation, and Energy System Engineering, 2011