( 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

Angelina Yoo

Young Yoo

Haiseung Yoo

Joonhyuk Yoo

 

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

PLC-Based Safety Critical Software Development for Nuclear Power Plants., , , , и . SAFECOMP, том 3219 из Lecture Notes in Computer Science, стр. 155-165. Springer, (2004)A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems., , и . SSIRI (Companion), стр. 68-75. IEEE Computer Society, (2011)Guidelines for the Use of Function Block Diagram in Reactor Protection Systems., , и . APSEC (1), стр. 135-142. IEEE Computer Society, (2014)FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs., , , и . SEKE, стр. 48-51. Knowledge Systems Institute Graduate School, (2011)A formal software requirements specification method for digital nuclear plant protection systems., , , , и . J. Syst. Softw., 74 (1): 73-83 (2005)Formal Modeling and Verification of Safety-Critical Software., , и . IEEE Software, 26 (3): 42-49 (2009)Design and Implementation of a Remote Control for IPTV with Sensors., , , , , , и . FGIT, том 7105 из Lecture Notes in Computer Science, стр. 223-228. Springer, (2011)Testing of Safety-Critical Software Embedded in an Artificial Heart., , , и . SSS, стр. 143-153. Springer, (2011)A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System., , , и . MIM, стр. 2134-2139. International Federation of Automatic Control, (2013)NuEditor - A Tool Suite for Specification and Verification of NuSCR., , и . SERA, том 3647 из Lecture Notes in Computer Science, стр. 19-28. Springer, (2004)