Travelled to:1 × South Africa
1 × Vietnam
Collaborated with:T.Trinh N.Truong A.Truong D.V.Hung N.T.T.Trang P.D.Hung
Talks about:use (2) consensus (1) protocol (1) interfac (1) interact (1) program (1) coordin (1) analysi (1) system (1) orient (1)
Person: Viet Ha Nguyen
DBLP: Nguyen:Viet_Ha
Contributed to:
20092008Wrote 2 papers:
- SEFM-2009-TruongTN #analysis #coordination #multi #using
- Coordinated Consensus Analysis of Multi-agent Systems Using Event-B (NTT, TBT, VHN), pp. 201–209.
- SEFM-2008-TruongTHNTH #aspect-oriented #interactive #interface #programming #protocol #using
- Checking Interface Interaction Protocols Using Aspect-Oriented Programming (AHT, TBT, DVH, VHN, NTTT, PDH), pp. 382–386.