BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × South Africa
1 × Vietnam
Collaborated with:
V.H.Nguyen 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: Thanh-Binh Trinh

DBLP DBLP: Trinh:Thanh=Binh

Contributed to:

SEFM 20092009
SEFM 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.