Travelled to:1 × France
1 × Spain
Collaborated with:R.Dömer S.Cheng Y.Chang P.Hsiu C.Tu
Talks about:model (2) parallel (1) handheld (1) wearabl (1) analysi (1) uppaal (1) object (1) happen (1) deploy (1) share (1)
Person: Che-Wei Chang
DBLP: Chang:Che=Wei
Contributed to:
2015
2015Wrote 2 papers:
- DATE-2015-ChangD #analysis #model checking #modelling #using
- May-happen-in-parallel analysis of ESL models using UPPAAL model checking (CWC, RD), pp. 1567–1570.
- SAC-2015-ChengCCHT #deployment #smarttech
- The deployment of shared data objects among handheld and wearable devices (SWC, CWC, YHC, PCH, CHT), pp. 2245–2251.