Showing results 1 to 2 of 2
(A) formal method for object-oriented real-time software development = 객체지향 실시간 소프트웨어를 위한 정형적 개발 방법link Hong, Joon-Sung; 홍준성; et al, 한국과학기술원, 1998 |
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