Younju Oh

Software safety analysis of function block diagrams using fault trees

Junbeom Yoo, Sung Deok Cha, Han Seong Son, 2005, Reliab. Eng. Syst. Saf..

A Technique to Specify and Analyze Reactive and Real-Time Software

Junbeom Yoo, Younju Oh, Jaemyoung Cho, 2003 .

Visual Approaches for System Property Specification

Younju Oh, 2003 .