Showing results 20 to 33 of 33
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