Showing results 1 to 2 of 2
(An) integrated environment of software development and V&V for PLC based safety-critical systems = PLC기반 필수안전시스템을 위한 소프트웨어 개발 및 확인검증 통합환경에 관한 연구link Koo, Seo-Ryong; 구서룡; et al, 한국과학기술원, 2005 |
Development of a testing methodology for computerized procedure system based on junit framework and MFM = Junit 체제와 MFM 기반의 전산화절차서에 대한 테스팅 방법론 개발link Qin, Wei; Seong, Poong-Hyun; et al, 한국과학기술원, 2004 |
Discover