Browse "School of Computing(전산학부)" by Subject 반응형 시스템
Showing results 1 to 5 of 5
| (A) static analysis framework with explicit synchronization for definite error detection on esterel = 명료한 동기화와 명확한 오류 검출을 위한 Esterel의 정적분석 기반구조link Kim, Chul-Joo; 김철주; et al, 한국과학기술원, 2010 |
| 명령형 동기식 반응형 언어의 선언형 확장 = A declarative extension of an imperative synchronous reactive languagelink 황준형; Hwang, Joon-Hyung; et al, 한국과학기술원, 2011 |
| 명령형 동기식 반응형 언어의 선언형 확장 = A declarative extension of an imperative synchronous reactive languagelink 황준형; Hwang, Joon-Hyung; et al, 한국과학기술원, 2011 |
| 반응형 시스템의 시뮬레이션을 위한 환경 속성의 명세 황준형; 윤정한; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.39, no.7, pp.593 - 603, 2012-07 |
| 에스테렐 프로그램 디버깅을 위한 테스트 데이터 자동 생성 한태숙; 서선애; 조민경; 윤정한, 정보과학회논문지 : 소프트웨어 및 응용, v.36, no.10, pp.793 - 799, 2009-10 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,889 2020 - 2024
- 5,392 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989