Showing results 1 to 19 of 19
A quantitative approach to estimate a website security risk using whitelist Kim, Young-Gab; Lee, Minsoo; Cho, Sanghyun; Cha, Sungdeok, SECURITY AND COMMUNICATION NETWORKS, v.5, no.10, pp.1181 - 1192, 2012-10 |
A Recovery Block Model and Its Analysis Cha, Sungdeok, IFAC Workshop, Safety of Computer Control systems, 1986 |
A Temporal Logic for Dynamic Systems and its Application to SDL Cha, Sungdeok, nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing (SNPD'01), 2001 |
AeSOP : An Interactive Failure Mode Analysis Tool Cha, Sungdeok, Computer Assurance (Compass '94), 1994 |
An Empirical study of Software Error Detection using Self-Checks Cha, Sungdeok, 17th Annual International Symposium on Fault-Tolerant Computing, 1987 |
Automatic Test Generation from Statecharts Using Model Checking Cha, Sungdeok, Proceedings of Formal Approaches to Testing of Software (FATES '01), pp.15 - 30, 2001 |
Control and Data Flow Testing on Function Block Diagrams Cha, Sungdeok, 24th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2005), 2005 |
Direct control Flow Testing on Function Block Diagrams Cha, Sungdeok, The 6th International Topical Meeting on Nuclear Reactor Thermal Hydraulics, Operations and Safety(NUTHOS-6), pp.1 - 10, 2004 |
Education of Formal Methods: An Experience Report Cha, Sungdeok, UNU/IIST 정형기법 국제학술대회, 1997 |
Formal Verification of Functional Properties of an SCR-style Software Requirements Specification using PVS Cha, Sungdeok, 8th International Conference, TACAS 2002, 2002 |
Management Aspect of Software Safety Cha, Sungdeok, International Conference on Computer Assurance, 1993 |
PLC-Based Safety Critical Software Development for Nuclear Power Plants Cha, Sungdeok, The 23th International conference on Computer Safety, Reliability and Security(SAFECOMP2004), pp.155 - 165, 2004 |
Safety Verification in Murphy using Fault Tree Analysis Cha, Sungdeok, 10th International Conference on Software Engineering, 1988 |
Security Evaluation of a CALS System Cha, Sungdeok, 제9회 화랑대 국제학술대회, pp.91 - 106, 1997 |
Software safety analysis of digital protection system requirements using qualitative formal method Cha, Sungdeok, Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, 2000 |
Static semantics and priority schemes for statecharts Hong Hyoung Seok; Kim Jeong Hyun; Cha, Sungdeok; Kwon, Yong Rae, Proceedings of the 19th Annual International Computer Software and Applications Conference COMPSAC '95, pp.114 - 120, IEEE, 1995-08-09 |
Systematic Evaluation of Fault Trees using Real-Time Model Checker UPPAAL Cha, Sungdeok, Int'l Symposium on the future of I&C for NPP(ISOFIC 2002), 2002 |
Testing of Object-Oriented Programs Based on Finite State Machines Hong, Hyoung Seok; Kwon, Yong Rae; Cha, Sungdeok, Asia-Pacific Software Engineering Conference(APSEC)'95, pp.234 - 241, IEEE, 1995-12 |
Testing on Function Block Diagrams Cha, Sungdeok, Proceedings of the 13th Asia Pacific Software Engineering Conference(APSEC2006), pp.243 - 250, 2006 |
Discover