학위논문(박사) - 한국과학기술원 : 원자력및양자공학과, 2005.8, [ viii, 146 p. ]
PLC; V&V; development; Safety-critical software; specification and analysis; 명세 및 분석; PLC; 확인 및 검증; 개발; 필수안전 소프트웨어
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.