Thanh-Binh Trinh

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 1

Top Topics

Relational Databases

Computational Model

Top Venues

Publications

Thi-Huong Dao, Thanh-Binh Trinh, Ninh-Thuan Truong
A tool support for checking consistency in model refactoring. KSE (2017)
Thanh-Binh Trinh, Ninh-Thuan Truong, Viet Ha Nguyen
Refining Undetermined Events for Specifying Concurrent Programs. KSE (2011)
Ninh-Thuan Truong, Thanh-Binh Trinh, Viet Ha Nguyen
Coordinated Consensus Analysis of Multi-agent Systems Using Event-B. SEFM (2009)
Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung
Checking Interface Interaction Protocols Using Aspect-Oriented Programming. SEFM (2008)