( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Testing of Safety-Critical Software Embedded in an Artificial Heart.

, , , и . SSS, стр. 143-153. Springer, (2011)

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.

Chanyeol Yoo

Young Yoo

Haiseung Yoo

Angelina Yoo

Joonhyuk Yoo

 

Другие публикации лиц с тем же именем

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