( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ADAM: Web Anomaly Detection Assistant Based on Feature Matrix.

, , , и . QSIC, стр. 123-128. IEEE Computer Society, (2009)

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.

Ho Sung Cha

Maria Cha

Yongku Cha

Wansik Cha

Limei Cha

 

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

PLC-Based Safety Critical Software Development for Nuclear Power Plants., , , , и . SAFECOMP, том 3219 из Lecture Notes in Computer Science, стр. 155-165. Springer, (2004)Extending the SCR Method for Real-Time Systems., , , и . Real Time Syst., 20 (1): 27-49 (2001)Timed High-Level Message Sequence Charts for Real-Time System Design., и . SAM, том 4320 из Lecture Notes in Computer Science, стр. 82-98. Springer, (2006)ASA: Agent-based secure ARP cache management., , , и . IET Commun., 6 (7): 685-693 (2012)Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram., , , и . SAFECOMP, том 6351 из Lecture Notes in Computer Science, стр. 223-236. Springer, (2010)An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation., , и . ISORC, стр. 365-372. IEEE Computer Society, (2007)Formal Modeling and Verification of Safety-Critical Software., , и . IEEE Software, 26 (3): 42-49 (2009)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)Test cases generation from UML state diagrams., , , и . IEE Proc. Softw., 146 (4): 187-192 (1999)