Showing results 1 to 9 of 9
Esterel 문법구조 바탕의 오토마타 생성 이철우; 윤정한; 한태숙; 최광무; 김철주, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.16, no.11, pp.1136 - 1140, 2010-11 |
Esterel에서 근사-제어흐름그래프의 효율적인 생성 김철주; 서선애; 한태숙; 윤정한; 최광무, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.15, no.11, pp.876 - 880, 2009-11 |
Esterel에서 동기장치 중복사용 문제 검출시 과잉 경보 줄이기 윤정한; 김철주; 김성건; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.37, no.8, pp.647 - 652, 2010-08 |
Esterel을 위한 오토마타 생성 기반구조 = An automata generation framework for esterellink 이철우; Lee, Chul-Woo; et al, 한국과학기술원, 2011 |
Esterel을 위한 오토마타 생성 기반구조 = An automata generation framework for esterellink 이철우; Lee, Chul-Woo; et al, 한국과학기술원, 2011 |
반응형 시스템의 시뮬레이션을 위한 환경 속성의 명세 황준형; 윤정한; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.39, no.7, pp.593 - 603, 2012-07 |
상호작용하는 동기화된 프로그램의 디버깅을 위한 테스트 케이스 자동화 생성 = Automated test case generation for debugging reactive synchronous programslink 조민경; Cho, Min-Kyung; et al, 한국과학기술원, 2009 |
에스테렐 프로그램 디버깅을 위한 테스트 데이터 자동 생성 한태숙; 서선애; 조민경; 윤정한, 정보과학회논문지 : 소프트웨어 및 응용, v.36, no.10, pp.793 - 799, 2009-10 |
제어 및 데이터 신호에 의한 Esterel에서의 새로운 회로 중복사용 문제 윤정한; 김철주; 김성건; 최광무; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.37, no.4, pp.311 - 316, 2010-04 |
Discover