DSpace at KOASAS: Browsing DSpace

DSpace at KOASAS

Browsing DSpace

Browse "School of Computing(전산학부)" by Author Cha, Sung-Deok

Sort by:
In order:
Results/Page
Authors/Record:

Showing results 15 to 38 of 38

15	Safety analysis of function block diagrams using fault trees = Fault tree 기법을 이용한 function block diagram 의 안전성 분석 link Oh, You-Ju; 오윤주; et al, 한국과학기술원, 2004
16	Safety analysis of hybrid real-time system requirements using qualitative models = 정성 모델을 이용한 복합 실시간 계통 요구사항의 안전성 분석 link Lee, Jang-Soo; 이장수; et al, 한국과학기술원, 2002
17	Spark examiner를 이용해 ANSI-C 프로그램을 분석하기 위한 변환기 구현 = Implementation of ANSI-C translator for analyzing C program using SPARK examiner link 김진섭; Kim, Jin-Sup; et al, 한국과학기술원, 2002
18	Specification and analysis of dynamic systems using temporal logic = 동적 시스템 명세를 위한 시제논리와 분석 link Cho, Seung-Mo; 조승모; et al, 한국과학기술원, 2002
19	SPIN으로부터 생성된 반례의 축소 및 시각화 기법 = Compaction and visualization of SPINs counterexample link 신모범; Shin, Mo-Bum; et al, 한국과학기술원, 2007
20	Statecharts 명세의 역방향 안전성 분석 = Backward safety analysis for statecharts specifications link 장준보; Jang, Joon-Bo; et al, 한국과학기술원, 1999
21	Synthesis of function block diagrams software from NuSCR formal specification = NuSCR 정형명세로부터 function block diagrams의 생성 link Yoo, Jun-Beom; 유준범; et al, 한국과학기술원, 2005
22	Systematic evaluation of fault trees using real-time model checker = 실시간 모델 체커를 이용한 폴트 트리의 체계적 검증 link Jee, Eun-Kyoung; 지은경; Bae, Doo-Hwan; Cha, Sung-Deok; et al, 한국과학기술원, 2001
23	Test sequence generation from modechart specification = Modechart 명세 기반의 실시간 시스템 테스트 시퀀스 생성 link Lee, Nam-Hee; 이남희; et al, 한국과학기술원, 1998
24	Using model checking to generate data-flow oriented test case from statecharts = 모델 체킹을 이용한 Statecharts로부터의 자료 흐름 지향 테스트 케이스 생성 방법 link Yoo, Jee-Eun; 유지은; Kwon, Yong-Rae; Cha, Sung-Deok; et al, 한국과학기술원, 2001
25	Verification and testing methods for Statecharts = Statecharts를 위한 검증 및 테스팅 방법 link Hong, Hyoung-Seok; 홍형석; et al, 한국과학기술원, 2001
26	Verification of function block diagram through verilog translation = Verilog 변환을 이용한 FBD의 정형검증 link Jeon, Seung-Jae; 전승재; et al, 한국과학기술원, 2007
27	Weakest precondition 분석을 이용한 다중 버전 소프트웨어에서의 공통 모드 고장 검출 = Detection of common mode failures in N-version software using weakest precondition analysis link 윤광식; Yoon, Gwang-Sik; et al, 한국과학기술원, 1997
28	데이타 정보가 첨부된 MSC에 기반한 병행 프로그램 테스트 케이스 생성 방법 = Generating test cases for concurrent programs from data annotated message sequence chart link 김내희; Kim, Nae-Hee; et al, 한국과학기술원, 1998
29	동적 시스템 명세를 위한 시제논리언어와 그 검증 조, 승모; 김, 형호; 차, 성덕; 배, 두환; Cho, Seung-Mo; Kim, Hyung-Ho; Cha, Sung-Deok; et al, 정보과학회논문지 : 소프트웨어 및 응용, Vol.29, No.7, pp.450-464, 2002
30	로그분석 및 ThML을 통한 시스템 보안 강화 = Enhancing security with audit log analysis and ThML link 조상현; Cho, Sang-Hyun; et al, 한국과학기술원, 1999
31	매개 언어를 이용하여 자동으로 취약점 점검 코드를 생성하는 에이전트를 통한 통합 취약점 분석 시스템 = Integrated security manager with AgEnt-based vulnerability scanner automatically generating code from intermediate language (ISMAEL)link 김수용; Kim, Su-Yong; et al, 한국과학기술원, 2002
32	모델 체킹을 이용한 SDL 명세로부터의 테스트 케이스 생성 환경 구현 = Test generation environment in SDL specification using model checker link 이금자; Lee, Geum-Ja; et al, 한국과학기술원, 2003
33	병행 객체지향 로봇 프로그래밍 시스템을 위한 객체모형과 언어 설계 = A design of object model and language for concurrent object-oriented robot programming system link 김규태; Kim, Gyu-Tae; 차성덕; 배두환; et al, 한국과학기술원, 1997
34	스테이트차트의 실시간 검증을 위한 모델체커의 확장 = Extending SMV for real-time verification of statecharts link 방호정; Bang, Ho-Jung; et al, 한국과학기술원, 2003
35	시간과 위치 기반 웹 보안 시각화 = Time-based and Location-based web security visualization link 이영석; Lee, Young-Seok; et al, 한국과학기술원, 2006
36	실시간 웹 사용 현황과 이상 행위에 대한 시각화 = Real-time visualization of web usage patterns and anomalous sessions link 이병희; Lee, Byung-Hee; et al, 한국과학기술원, 2004
37	웹 환경 분석을 통한 공격 분류 = An approach to web attack categorization link 서정석; Seo, Jeong-Seok; et al, 한국과학기술원, 2002
38	이상 특성 기반 비정상 행위 탐지 시스템 = ADAM : anomaly detector assistant based on anomaly feature matrix link 김상록; Kim, Sang-Rok; et al, 한국과학기술원, 2008

Discover

KOASAS

Knowledge Service Development Team, KAIST 291 Daehak-ro, Yuseong-gu, Daejeon 34141, Republic of Korea. T. 82-42-350-4493 Email. koasas@kaist.ac.kr
Copyright © 2016. Korea Advanced Institute of Science and Technology. All Rights Reserved.

Communities & Collections

rss_1.0 rss_2.0 atom_1.0