Browse "RIMS Conference Papers" by Author 1031

Showing results 21 to 33 of 33

21
Safety Analysis Using Coloured Petri Nets

차성덕, 한국정보과학회 추계학술대회, pp.1415 - 1418, 1995

22
Safety Verification in Murphy using Fault Tree Analysis

Cha, Sungdeok, 10th International Conference on Software Engineering, 1988

23
Safety-critical Software Requirements Checking Using PVS.

차성덕, 한국정보과학회 춘계학술대회 발표논문집, pp.595 - 598, 1997

24
Security Evaluation of a CALS System

Cha, Sungdeok, 제9회 화랑대 국제학술대회, pp.91 - 106, 1997

25
SMV를 이용한 Structural Decision Table 명세의 정형검증

차성덕, 2006 한국컴퓨터종합학술대회, pp.190 - 192, 2006

26
Software safety analysis of digital protection system requirements using qualitative formal method

Cha, Sungdeok, Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, 2000

27
Specification and Test-Case Generation Method for Detecting Data Anomalies in Concurrent Programs

차성덕, 한국정보과학회 추계학술대회 발표논문집, 1997

28
Specifying and Verifying Wolsong SDS2 Using Real-Time Model Checker

차성덕, 한국정보과학회 추계학술대회 발표, pp.385 - 387, 2000

29
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

30
Testing on Function Block Diagrams

Cha, Sungdeok, Proceedings of the 13th Asia Pacific Software Engineering Conference(APSEC2006), pp.243 - 250, 2006

31
Time bounder: WCET 분석도구

차성덕, 한국정보과학회 추계학술대회, pp.340 - 342, 2004

32
웹 어플리케이션 IDS 평가를 위한 테스트 환경 설계 및 구축

차성덕, 한국정보과학회 추계학술대회, pp.463 - 465, 2004

33
타이머 함수 블록을 포함한 FBD에 대한 테스팅

차성덕, 2006 한국원자력학회 춘계학술발표회, 2006

rss_1.0 rss_2.0 atom_1.0