Showing results 8 to 10 of 10
에스테렐 프로그램 디버깅을 위한 테스트 데이터 자동 생성 한태숙; 서선애; 조민경; 윤정한, 정보과학회논문지 : 소프트웨어 및 응용, v.36, no.10, pp.793 - 799, 2009-10 |
제어 및 데이터 신호에 의한 Esterel에서의 새로운 회로 중복사용 문제 윤정한; 김철주; 김성건; 최광무; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.37, no.4, pp.311 - 316, 2010-04 |
하드웨어/소프트웨어 동시검증을 위한 합성 가능한 인터페이스 검증 기법 이재호; 한태숙; 윤정한, 정보과학회논문지 : 소프트웨어 및 응용, v.37, no.4, pp.323 - 339, 2010-04 |
Discover