Showing results 1 to 2 of 2
(A) formal safety analysis for PLC software-based safety critical system using Z = Z언어를 이용한 PLC기반 안전필수 계통에 대한 정형적 안전성분석link Koh, Jung-Soo; 고정수; et al, 한국과학기술원, 1997 |
Development of a safety analysis method for requirements based on statechart using combined SCR and ISO tables = SCR과 ISO테이블을 이용한 statechart 기반의 요구사항을 위한 안전성 분석 방법 개발link Lee, Jung-Hwan; 이정환; et al, 한국과학기술원, 2001 |
Discover