DSpace at KOASAS
Browsing DSpace

Browse by Subject formal method

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 4 of 4

1
An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification

Koo, SR; Seong, Poong-Hyun; Yoo, J; Cha, Sungdeok; Yoo, YJ, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.89, no.3, pp.248 - 260, 2005-09

2
Fault tree construction of hybrid system requirements using qualitative formal method

Lee, JS; Cha, Sungdeok, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.87, no.1, pp.121 - 131, 2005-01

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

Lee J.-S.; Kwon K.-C.; Cha, Sungdeok, NUCLEAR TECHNOLOGY, v.147, no.2, pp.227 - 239, 2004

4
실시간 모델 체커를 이용한 폴트 트리의 체계적 검증

지은경; 차성덕; 손한성; 유준범; 구서룡; 성풍현, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.12, pp.860 - 872, 2002-12

Discover

rss_1.0 rss_2.0 atom_1.0