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: Goh:Kiah_Mok
Contributed to:
2009Wrote 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.