Showing results 1 to 2 of 2
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 |
SMV model-based safety analysis of software requirements = SMV 모델기반의 소프트웨어 요구사항 안전성 분석link Koh, Kwang-Yong; 고광용; et al, 한국과학기술원, 2006 |
Discover