Browse by Subject Formal languages

Showing results 1 to 3 of 3

1
A hierarchical consistency framework for real-time supervisory control

Quang Ha Ngo; Seow, Kiam Tian, DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, v.28, no.3, pp.375 - 426, 2018-09

2
(An) LR(k) and LL(k) parsing framework: abstract interpretation approach = LR(k) 및 LL(k) 구문분석 프레임웍에 대한 요약해석적 접근link

O, Seung-Hwan; 오승환; et al, 한국과학기술원, 2006

3
Supervisory Control of Blockchain Networks

Seow, Kiam Tian, IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, v.50, no.1, pp.159 - 171, 2020-01

rss_1.0 rss_2.0 atom_1.0