Showing results 1 to 6 of 6
(An) approach to defining and verifying modules for Statecharts = Statecharts 모듈 정의 및 검증link Seo, Sun-Ae; 서선애; et al, 한국과학기술원, 2000 |
Esterel에서 근사-제어흐름그래프의 효율적인 생성 김철주; 서선애; 한태숙; 윤정한; 최광무, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.15, no.11, pp.876 - 880, 2009-11 |
Off-line slicing of abstract interpretation results for automatic construction of economical program proofs = 요약해석 결과의 오프라인 가지치기를 이용한 프로그램 증명의 경제적인 자동 생성link Seo, Sun-Ae; 서선애; et al, 한국과학기술원, 2007 |
에스테렐 프로그램 디버깅을 위한 테스트 데이터 자동 생성 한태숙; 서선애; 조민경; 윤정한, 정보과학회논문지 : 소프트웨어 및 응용, v.36, no.10, pp.793 - 799, 2009-10 |
프로그램의 구조와 상수 값을 이용하는 바이너리 실행 파일의 차이점 분석 박희완; 최석우; 서선애; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.35, no.7, pp.452 - 461, 2008-07 |
흐름 그래프 형태를 이용한 함수형 프로그램 유사성 비교 서선애; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.32, no.4, pp.290 - 299, 2005-04 |
Discover