( en | de | ru )

 

Disambiguation of "Yoo, Junbeom"

Author of the publication

copydeleteadd this publication to your clipboard
An integrated environment of S/W specification and V&V for safety-critical systems.

, , , , , and . IASTED Conf. on Software Engineering, page 607-612. IASTED/ACTA Press, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Chanyeol Yoo

Angelina Yoo

Young Yoo

Haiseung Yoo

Joonhyuk Yoo

 

Other publications of authors with the same name

PLC-Based Safety Critical Software Development for Nuclear Power Plants., , , , and . SAFECOMP, volume 3219 of Lecture Notes in Computer Science, page 155-165. Springer, (2004)Unfolding Hidden Structures in Cyber-Physical Systems for Thorough STPA Analysis., , and . IEICE Trans. Inf. Syst., 105-D (5): 1103-1106 (2022)A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems., , and . SSIRI (Companion), page 68-75. IEEE Computer Society, (2011)An integrated environment of S/W specification and V&V for safety-critical systems., , , , , and . IASTED Conf. on Software Engineering, page 607-612. IASTED/ACTA Press, (2004)NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs., , , , , and . JCSE, (2017)Control and Data Flow Testing on Function Block Diagrams., , and . SAFECOMP, volume 3688 of Lecture Notes in Computer Science, page 67-80. Springer, (2005)Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems., and . SEUS, volume 5860 of Lecture Notes in Computer Science, page 240-251. Springer, (2009)Synthesis of FBD-based PLC design from NuSCR formal specification., , , and . Reliab. Eng. Syst. Saf., 87 (2): 287-294 (2005)A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study., , , and . ISSRE Workshops, page 210-215. IEEE Computer Society, (2014)SQAF-DS: A Software Quality Assessment Framework for Dependable Systems., and . COMPSAC, page 724-725. IEEE Computer Society, (2013)