Browse by Subject 동적 시스템

Showing results 1 to 4 of 4

1
Specification and analysis of dynamic systems using temporal logic = 동적 시스템 명세를 위한 시제논리와 분석link

Cho, Seung-Mo; 조승모; et al, 한국과학기술원, 2002

2
동적 시스템 명세를 위한 시제논리언어와 그 검증

조승모; 김형호; 차성덕; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.8, pp.450 - 464, 2002-08

3
동적 시스템 명세를 위한 시제논리언어와 그 검증

조, 승모; 김, 형호; 차, 성덕; 배, 두환; Cho, Seung-Mo; Kim, Hyung-Ho; Cha, Sung-Deok; et al, 정보과학회논문지 : 소프트웨어 및 응용, Vol.29, No.7, pp.450-464, 2002

4
회귀 신경 회로망을 이용한 유한 상태 기계 및 역 유한 상태 기계의 설계 = Design of finite state machines and inverse finite state machines using recurent neural networkslink

원성환; Won, Sung-Hwan; et al, 한국과학기술원, 2007

rss_1.0 rss_2.0 atom_1.0