Travelled to:1 × Italy
1 × The Netherlands
Collaborated with:J.Heather J.Woodcock A.Burns
Talks about:model (2) reactiv (1) miracl (1) failur (1) design (1) circus (1) stabl (1) embed (1) time (1) pvs (1)
Person: Kun Wei
DBLP: Wei:Kun
Contributed to:
2010
2005Wrote 2 papers:
- SEFM-2010-WeiWB #design
- A Timed Model of Circus with the Reactive Design Miracle (KW, JW, AB), pp. 315–319.
- IFM-2005-WeiH #csp
- Embedding the Stable Failures Model of CSP in PVS (KW, JH), pp. 246–265.