Showing results 1 to 2 of 2
SPIN++를 이용한 병렬 객체 모델의 검증 = Concurrent object model verification using SPIN++link 조웅희; Cho, Woong-Hee; et al, 한국과학기술원, 1999 |
누설파 안테나 해석 설계 및 제작 홍재표; 조웅희; 이종익; 윤이호; 이정형; 조영기; 엄효준, 전자공학회논문지, v.33, pp.88 - 96, 1996-01 |
Discover