Travelled to:1 × USA
Collaborated with:I.Traoré D.B.Aredo
Talks about:framework (2) distribut (2) develop (2) system (2) integr (2) formal (2) open (2)
Person: Hong Ye
DBLP: Ye:Hong
Contributed to:
20032004Wrote 2 papers:
- SAC-2003-TraoreYA #development #distributed #framework
- An Integrated Framework for Formal Development of Open Distributed Systems (IT, DBA, HY), pp. 1078–1085.
- SAC-J-2003-TraoreAY04 #development #distributed #framework
- An integrated framework for formal development of open distributed systems (IT, DBA, HY), pp. 281–286.