BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
T.H.Yu W.Wu F.Yu
Talks about:
reachabl (2) without (2) analysi (2) synthes (1) control (1) system (1) siphon (1) polici (1) method (1) enumer (1)

Person: Daniel Yuh Chao

DBLP DBLP: Chao:Daniel_Yuh

Contributed to:

CASE 20132013
SEKE 20132013

Wrote 2 papers:

CASE-2013-WuCY #analysis #policy #reachability
A control policy for γ-nets without reachability analysis and siphon enumeration (WW, DYC, FY), pp. 1133–1138.
SEKE-2013-ChaoY #analysis #order #reachability #scalability
A Best Method to Synthesize Very Large K-th Order Systems without Reachability Analysis (DYC, THY), pp. 417–420.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.