Travelled to:
1 × The Netherlands
Collaborated with:
J.M.Atlee
Talks about:
configur (1) program (1) environ (1) semant (1) mbeddr (1) machin (1) integr (1) state (1) model (1) bsml (1)
Person: Zhaoyi Luo
DBLP: Luo:Zhaoyi
Contributed to:
Wrote 1 papers:
- SLE-2016-LuoA #c #configuration management #modelling #named #programming #semantics #state machine
- BSML-mbeddr: integrating semantically configurable state-machine models in a C programming environment (ZL, JMA), pp. 105–117.