Showing results 1 to 2 of 2
Aspect DEVS 검증 틀을 이용한 소프트웨어 정형 검증 방법론 최창범; 김탁곤, 한국시뮬레이션학회 논문지, v.18, no.3, pp.113 - 122, 2009-09 |
Development of a verification method for the FBD-style design specification using ESDT and SMV = ESDT와 SMV를 이용한 FBD-style 설계명세서를 위한 검증 방법 개발link Song, Myung-Jun; 송명준; et al, 한국과학기술원, 2004 |
Discover