Search
Results 1-2 of 2 (Search time: 0.003 seconds).
| NO | Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date) |
|---|---|
| Detecting schizophrenia in imperative synchronous languages = 절차형 동기언어 컴파일시 회로 재사용에 의한 문제점 검증link Yun, Jeong-Han; 윤정한; Tai-Sook Han; 한태숙, 한국과학기술원, 2011 | |
| (A) static analysis framework with explicit synchronization for definite error detection on esterel = 명료한 동기화와 명확한 오류 검출을 위한 Esterel의 정적분석 기반구조link Kim, Chul-Joo; 김철주; Choe, Kwang-Moo; 최광무, 한국과학기술원, 2010 |
Discover