Showing results 1 to 3 of 3
State feedback control of real-time discrete event systems with infinite states Park, Seong-Jin; Cho, Kwang-Hyun, INTERNATIONAL JOURNAL OF CONTROL, v.88, no.5, pp.1078 - 1088, 2015-05 |
타임드 오토마타 모델 기반 테스팅 기법 분석 및 사례 연구 김한석; 지은경; 배두환, 정보과학회 컴퓨팅의 실제 논문지, v.21, no.2, pp.132 - 137, 2015-02 |
타임드 오토마타 모델로부터 VxWorks 기반 코드의 체계적 생성 최진호; 지은경; 배두환, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.19, no.2, pp.90 - 94, 2013-02 |
Discover