Travelled to:1 × Canada
1 × Poland
Collaborated with:M.Delaunay C.Robach F.Baader S.Borgwardt B.Morawska
Talks about:descript (1) without (1) testabl (1) softwar (1) concept (1) analysi (1) compon (1) logic (1) unif (1) top (1)
Person: Thanh Binh Nguyen
DBLP: Nguyen:Thanh_Binh
Contributed to:
2011
2002Wrote 2 papers:
- CADE-2011-BaaderBBM #concept #logic #unification
- Unification in the Description Logic EL without the Top Concept (FB, TBN, SB, BM), pp. 70–84.
- ICSM-2002-BinhDR #analysis #component #testing
- Testability Analysis for Software Components (TBN, MD, CR), pp. 422–429.