Showing results 1 to 3 of 3
(A) formal safety analysis for PLC software-based safety critical system using Z = Z언어를 이용한 PLC기반 안전필수 계통에 대한 정형적 안전성분석link Koh, Jung-Soo; 고정수; et al, 한국과학기술원, 1997 |
(An) integrated environment of software development and V&V for PLC based safety-critical systems = PLC기반 필수안전시스템을 위한 소프트웨어 개발 및 확인검증 통합환경에 관한 연구link Koo, Seo-Ryong; 구서룡; et al, 한국과학기술원, 2005 |
Software design specification and analysis technique (SDSAT) for the development of safety-critical systems based on a programmable logic controller (PLC) Koo, SR; Seong, Poong-Hyun, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.91, no.6, pp.648 - 664, 2006-06 |
Discover