Binh Trinh Thanh

Binh Trinh Thanh

Phenikaa University - Hanoi / Vietnam
Engineering & Technology / Computer Science
AD Scientific Index ID: 5738692
Đại học Phenikaa
person_outline Binh Trinh Thanh's MOST POPULAR ARTICLES
1-) Checking interface interaction protocols using aspect-oriented programming AH Truong, TB Trinh, D Van Hung, VH Nguyen, NTT Trang, PD Hung 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008 92008
2-) Checking protocol-conformance in component models using Aspect oriented programming TB Trinh, AH Truong, VH Nguyen Advances in Computer Science and Engineering, 150-155, 2009 82009
3-) Coordinated consensus analysis of multi-agent systems using Event-B NT Truong, TB Trinh, VH Nguyen 2009 Seventh IEEE International Conference on Software Engineering and …, 2009 62009
4-) Checking the compliance of timing constraints in software applicationsTB Trinh, TA Do, NT Truong, VH Nguyen2009 International Conference on Knowledge and Systems Engineering, 220-225, 200952009
5-) Coordinated Consensus Analysis of Multi-agent Systems using Event-B, 7th IEEE Intern. Conf. on Software Engineering and Formal Method (SEFM 2009), Hanoi, Vietnam, 23-27 …NT Truong, TB Trinh, VH NguyenNhâ. nbai ngay 3-3-2010 Nhâ. n la. i sau su.’a ngay 26-7, 201022010