Showing results 1 to 3 of 3
Hybrid statistical model checking technique for reliable safety critical systems = 신뢰성이 높은 안전필수시스템을 위한 하이브리드 통계적 모델 체킹 방법link Kim, Young-Joo; 김영주; et al, 한국과학기술원, 2013 |
구조 지향적 에디팅 환경에서의 타입 검사 = A study on type checking in the structure-oriented editing environmentlink 김영주; Kim, Young-Ju; et al, 한국과학기술원, 1989 |
한글 텍스트 에디터의 설계 = Design of a Hangul text editorlink 김영주; Kim, Young-Joo; et al, 한국과학기술원, 1981 |
Discover