지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
Abstract
Ⅰ. 서론
Ⅱ. 배경
Ⅲ. 돈케어를 이용한 상징적 계산(Symbolic Traversal)
Ⅳ. 실험결과
Ⅴ. 결론
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
대규모 유한 상태 기계의 근사 도달성 분석
한국통신학회논문지
2002 .01
FSM 설계를 위한 상태할당 알고리듬 ( A State Assignment Algorithm for FSM Design )
대한전자공학회 학술대회
1992 .01
Cycle - C를 이용한 제어흐름 중심의 FSM 설계
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2005 .02
FSM 함성기에서의 상태 최소화 알고리듬 개발 ( the State Minimization Algorithm Development in FSM Synthesis )
대한전자공학회 학술대회
1991 .01
고장검출도가 고려된 FSM 상태할당
대한전자공학회 학술대회
1996 .05
고장검출도가 고려된 FSM 상태할당 ( FSM State Assignment Considering Testability )
대한전자공학회 학술대회
1996 .01
그래프 도달가능성으로 완전히 문맥에 민감한 분석하기
한국정보과학회 학술발표논문집
2013 .06
FSM을 이용한 실시간 차량 동역학 모델 해석
대한기계학회 춘추학술대회
2015 .04
δ-approximate Periods and γ-approximate Periods of Strings over Integer Alphabets
Journal of KIISE
2016 .10
FSM을 이용한 해양안전정보시스템의 고도화에 대한 연구
한국지능시스템학회 학술발표 논문집
2012 .11
상위 수준 설계 기술에서의 FSM 자동 생성 시스템 ( Automatic FSM Generation from Behavioral Design Description )
대한전자공학회 학술대회
1990 .07
관계 데이타베이스 기법과 FSM 모델을 이용한 프로토콜 검증에 관한 연구
한국정보과학회 학술발표논문집
1988 .10
전자상거래에서 FSM을 이용한 고객구매패턴 분석
한국전자거래학회지
2003 .08
계층적 FSM 에서 동시실행 및 동기화 지원 방법
제어로봇시스템학회 국내학술대회 논문집
2012 .04
FSM(Functional Suspension Model)
기계저널
2006 .11
시간적 오토마타에서 도달성 그래프의 도출기법
정보과학회논문지 : 정보통신
2000 .12
FSM을 이용한 Web Mining 방법에 관한 연구
한국지능시스템학회 학술발표 논문집
2003 .12
통신시스템의 Estelle 서술의 검증을 위한 Reachability 그래프 구축
한국정보과학회 학술발표논문집
1990 .10
게임에서 FSM-기반 확률 추정을 이용한 캐릭터의 행동제어
멀티미디어학회논문지
2005 .09
SMV를 이용한 확장된 유한상태 기계의 정형 검증
한국정보과학회 학술발표논문집
2005 .11
0