Browse by Subject timed automata

Showing results 1 to 3 of 3

1
State feedback control of real-time discrete event systems with infinite states

Park, Seong-Jin; Cho, Kwang-Hyunresearcher, INTERNATIONAL JOURNAL OF CONTROL, v.88, no.5, pp.1078 - 1088, 2015-05

2
타임드 오토마타 모델 기반 테스팅 기법 분석 및 사례 연구

김한석; 지은경; 배두환researcher, 정보과학회 컴퓨팅의 실제 논문지, v.21, no.2, pp.132 - 137, 2015-02

3
타임드 오토마타 모델로부터 VxWorks 기반 코드의 체계적 생성

최진호; 지은경; 배두환researcher, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.19, no.2, pp.90 - 94, 2013-02

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0