( en | de | ru )

 

Disambiguierung von "Lee, Jang-Soo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System.

, , , und . MIM, Seite 2134-2139. International Federation of Automatic Control, (2013)

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.

Jang-Soo Kim

Tseng-jang Soo

Eun-Soo Jang

Jang-Hie Lee

Jang-Hie Lee

 

Weitere Publikationen von Autoren mit dem selben Namen

A formal software requirements specification method for digital nuclear plant protection systems., , , , und . J. Syst. Softw., 74 (1): 73-83 (2005)Means-ends and whole-part traceability analysis of safety requirements., , , und . J. Syst. Softw., 83 (9): 1612-1621 (2010)Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant., , , , und . SAFECOMP, Volume 4166 von Lecture Notes in Computer Science, Seite 85-98. Springer, (2006)Guidelines for the Use of Function Block Diagram in Reactor Protection Systems., , und . APSEC (1), Seite 135-142. IEEE Computer Society, (2014)Behavior verification of hybrid real-time requirements by qualitative formalism., und . RTCSA, Seite 127-134. IEEE Computer Society, (1997)NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs., , , , , und . JCSE, (2017)A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study., , , und . ISSRE Workshops, Seite 210-215. IEEE Computer Society, (2014)Defense-in-Depth and Diverse Qualification of Safety-Critical Software., , , , , , , , , und 3 andere Autor(en). SAFECOMP, Volume 4680 von Lecture Notes in Computer Science, Seite 258-263. Springer, (2007)A Selective Temporal and Aggressive Spatial Cache System Based on Time Interval., , und . ICCD, Seite 287-293. IEEE Computer Society, (2000)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)