1 × France
1 × Spain
R.Dömer S.Cheng Y.Chang P.Hsiu C.Tu
model (2) parallel (1) handheld (1) wearabl (1) analysi (1) uppaal (1) object (1) happen (1) deploy (1) share (1)
Person: Che-Wei Chang
Wrote 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.