( en | de | ru )

 

Disambiguierung von "Cha, Sung Deok"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ADAM: Web Anomaly Detection Assistant Based on Feature Matrix.

, , , und . QSIC, Seite 123-128. IEEE Computer Society, (2009)

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.

Ho Sung Cha

Maria Cha

Yongku Cha

Wansik Cha

Limei Cha

 

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)Extending the SCR Method for Real-Time Systems., , , und . Real Time Syst., 20 (1): 27-49 (2001)Timed High-Level Message Sequence Charts for Real-Time System Design., und . SAM, Volume 4320 von Lecture Notes in Computer Science, Seite 82-98. Springer, (2006)ASA: Agent-based secure ARP cache management., , , und . IET Commun., 6 (7): 685-693 (2012)Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram., , , und . SAFECOMP, Volume 6351 von Lecture Notes in Computer Science, Seite 223-236. Springer, (2010)An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation., , und . ISORC, Seite 365-372. IEEE Computer Society, (2007)Formal Modeling and Verification of Safety-Critical Software., , und . IEEE Software, 26 (3): 42-49 (2009)A formal software requirements specification method for digital nuclear plant protection systems., , , , und . J. Syst. Softw., 74 (1): 73-83 (2005)FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs., , , und . SEKE, Seite 48-51. Knowledge Systems Institute Graduate School, (2011)Test cases generation from UML state diagrams., , , und . IEE Proc. Softw., 146 (4): 187-192 (1999)