본문

  1. Home
2 Results:SS:STATECHART 0.31 sec.
RSS 
다국어입력
 상세검색
 신착검색
선택출력 선택엑셀내보내기
1
Formal Verification of Statecharts Using Finite-State Model Checkers
Formal Verification of Statecharts Using Finite-State Model Checkers
Q-Zhao., | Institute of Electrical and Electronics Engineers | 2006 ,
2
Statechart 상호 변환을 위한 Semantics의 분석
Statechart 상호 변환을 위한 Semantics의 분석
박승현, | 한국정보과학회 | 2006 ,
처음1마지막