( en | de | ru )

 

Disambiguierung von "Yoo, Junbeom"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An integrated environment of S/W specification and V&V for safety-critical systems.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Chanyeol Yoo

Angelina Yoo

Young Yoo

Haiseung Yoo

Joonhyuk Yoo

 

Weitere Publikationen von Autoren mit dem selben Namen

PLC-Based Safety Critical Software Development for Nuclear Power Plants., , , , und . SAFECOMP, Volume 3219 von Lecture Notes in Computer Science, Seite 155-165. Springer, (2004)Unfolding Hidden Structures in Cyber-Physical Systems for Thorough STPA Analysis., , und . IEICE Trans. Inf. Syst., 105-D (5): 1103-1106 (2022)A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems., , und . SSIRI (Companion), Seite 68-75. IEEE Computer Society, (2011)Formal Modeling and Verification of Safety-Critical Software., , und . IEEE Software, 26 (3): 42-49 (2009)Guidelines for the Use of Function Block Diagram in Reactor Protection Systems., , und . APSEC (1), Seite 135-142. IEEE Computer Society, (2014)A formal software requirements specification method for digital nuclear plant protection systems., , , , und . J. Syst. Softw., 74 (1): 73-83 (2005)A systematic verification of behavioral consistency between FBD design and ANSI-C implementation using HW-CBMC., , und . Reliab. Eng. Syst. Saf., (2013)FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs., , , und . SEKE, Seite 48-51. Knowledge Systems Institute Graduate School, (2011)Design and Implementation of a Remote Control for IPTV with Sensors., , , , , , und . FGIT, Volume 7105 von Lecture Notes in Computer Science, Seite 223-228. Springer, (2011)Formal verification of ECML hybrid models with spaceex., und . Inf. Softw. Technol., (2017)