검색어 : 통합검색[권기현]
총 541건 중 541건 출력
, 6/55 페이지
-
51
- 임베디드 자바 프로그램의 정형 검증
- 이태훈; 권기현; 경기대학교 전자계산학과; 경기대학교 정보과학과; (정보처리학회논문지. The KIPS transactions. Part D. Part D, v.d12, 2005, pp.931-936)
-
52
- Promela 모델에 C 코드를 끼워서 추상화하기
- 홍승안; 권기현; ; (소프트웨어공학회지 = Software engineering review, v.20, 2007, pp.13-22)
-
53
- LTL Synthesis를 통한 반응형 시스템의 신뢰성 향상
- 권령구; 권기현; 경기대학교; 경기대학교; (정보과학회지 = Communications of the Korean Institute of Information Scientists and Engineers, v.30, 2012, pp.22-28)
-
54
- 정형논리를 이용한 모델링 및 분석
- 박사천; 권기현; 경기대학교 전산학과; 경기대학교 정보과학부; (정보과학회지 = Communications of the Korean Institute of Information Scientists and Engineers, v.25, 2007, pp.16-25)
-
55
- 모델 체킹을 이용한 네모라이즈 게임 풀이
- 이정림; 권기현; 경기대학교 전자계산학과; 경기대학교 정보과학부; (한국멀티미디어학회지, v.9, 2005, pp.50-59)
-
56
- SMT 해결기를 이용한 자바 메모리 모델 시뮬레이션
- 이태훈; 권기현; 경기대학교 정보과학부; 경기대학교 정보과학부; (정보과학회논문지. Journal of KIISE. 컴퓨팅의 실제 및 레터, v.15, 2009, pp.62-66)
-
57
- 추상화를 통한 모델의 축소 : 네모라이즈 게임 사례 연구
- 이정림; 권기현; 경기대학교 전자계산학과; 경기대학교 정보과학부; (정보처리학회논문지. The KIPS transactions. Part D. Part D, v.d13, 2006, pp.111-116)
-
58
- 모델 체킹에서 안전성 위반에 대한 효율적인 반례 생성
- 이태훈; 권기현; 경기대학교 정보과학부; 경기대학교 정보과학부; (정보처리학회논문지. The KIPS transactions. Part D. Part D, v.d12, 2005, pp.81-90)
-
59
- 자바 메모리 모델을 이용한 멀티 스레드 자바 코드 검증
- 이민; 권기현; 경기대학교 전자계산학과; 경기대학교 정보과학부; (정보처리학회논문지. The KIPS transactions. Part D. Part D, v.d15, 2008, pp.99-106)
-
60
- 이진 변수 기수 조건을 위한 CNF 변환 방법의 분석
- 이민; 권기현; 경기대학교 컴퓨터과학과; 경기대학교 컴퓨터과학과; (정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용, v.35, 2008, pp.81-90)
QUICK MENU
