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:
1 × India
Collaborated with:
L.V.Allen D.M.Tilbury
Talks about:
determinist (1) determin (1) environ (1) control (1) verif (1) logic (1) close (1) loop (1) non (1) iec (1)

Person: Kiah Mok Goh

DBLP DBLP: Goh:Kiah_Mok

Contributed to:

CASE 20092009

Wrote 1 papers:

CASE-2009-AllenGT #logic #nondeterminism #verification
Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllers (LVA, KMG, DMT), pp. 1–6.

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.