Showing results 1 to 33 of 33
A Formal Semantics for SCR Specifications 차성덕, '97 정형기법 워크숍, pp.77 - 88, 1997 |
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 |
A Verification of Requirements Specifications for Safety-critical System. 차성덕, 한국정보과학회 춘계학술대회 발표논문집, pp.697 - 700, 1996 |
Active Timeout을 이용한 SYN Flooding공격의 해결 차성덕, 한국정보과학회 추계학술대회, pp.361 - 363, 2004 |
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 |
Automata-Based Semantics of MSCs and Algorithm for the Construction of Semantic-Automata 차성덕, 한국정보과학회 추계학술대회 발표논문집, pp.519 - 521, 1999 |
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 |
Detection of Common Mode Failures in N-Version Software Using Weakest Precondition Analysis. 차성덕, 한국정보과학회 춘계학술대회, pp.599 - 602, 1997 |
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 |
LOOKER: Integrated Log Analysis Tool for UNIX Systems 차성덕, 한국정보과학회 춘계학술대회 발표논문집, 1998 |
Management Aspect of Software Safety Cha, Sungdeok, International Conference on Computer Assurance, 1993 |
Modeling a traffic control system using formal specification 차성덕, 한국정보과학회 춘계학술대회 발표논문집, 1998 |
Modeling and Verifying IN Services using Colored Petri Net. 차성덕, National Conference on Advanced Intelligent Network, pp.205 - 208, 1996 |
Modular Verification of Statecharts Specification 차성덕, 한국정보과학회 추계학술대회 발표논문집, pp.593 - 595, 1999 |
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 Analysis Using Coloured Petri Nets 차성덕, 한국정보과학회 추계학술대회, pp.1415 - 1418, 1995 |
Safety Verification in Murphy using Fault Tree Analysis Cha, Sungdeok, 10th International Conference on Software Engineering, 1988 |
Safety-critical Software Requirements Checking Using PVS. 차성덕, 한국정보과학회 춘계학술대회 발표논문집, pp.595 - 598, 1997 |
Security Evaluation of a CALS System Cha, Sungdeok, 제9회 화랑대 국제학술대회, pp.91 - 106, 1997 |
SMV를 이용한 Structural Decision Table 명세의 정형검증 차성덕, 2006 한국컴퓨터종합학술대회, pp.190 - 192, 2006 |
Software safety analysis of digital protection system requirements using qualitative formal method Cha, Sungdeok, Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, 2000 |
Specification and Test-Case Generation Method for Detecting Data Anomalies in Concurrent Programs 차성덕, 한국정보과학회 추계학술대회 발표논문집, 1997 |
Specifying and Verifying Wolsong SDS2 Using Real-Time Model Checker 차성덕, 한국정보과학회 추계학술대회 발표, pp.385 - 387, 2000 |
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 on Function Block Diagrams Cha, Sungdeok, Proceedings of the 13th Asia Pacific Software Engineering Conference(APSEC2006), pp.243 - 250, 2006 |
Time bounder: WCET 분석도구 차성덕, 한국정보과학회 추계학술대회, pp.340 - 342, 2004 |
웹 어플리케이션 IDS 평가를 위한 테스트 환경 설계 및 구축 차성덕, 한국정보과학회 추계학술대회, pp.463 - 465, 2004 |
타이머 함수 블록을 포함한 FBD에 대한 테스팅 차성덕, 2006 한국원자력학회 춘계학술발표회, 2006 |
Discover