Items where Author is "Trinh, Thanh Binh"
Group by: Item Type | No Grouping Jump to: Conference or Workshop Item Number of items: 3. Conference or Workshop ItemDao, Thi Huong and Trinh, Thanh Binh and Truong, Ninh Thuan (2017) A Tool Support for Checking Consistency in Model Refactoring. In: KSE: the 2017 International Conference on Knowledge and Systems Engineering, 2017, Hue, Vietnam. Trinh, Thanh Binh and Truong, Ninh Thuan and Nguyen, Viet Ha (2011) Refining Undetermined Events for Specifying Concurrent Programs. In: KSE: the 2011 International Conference on Knowledge and Systems Engineering, October 2011, Vietnam. Truong, Ninh Thuan and Trinh, Thanh Binh and Nguyen, Viet Ha (2009) Coordinated Consensus Analysis of Multi-agent Systems Using Event-B. In: Seventh IEEE International Conference on Software Engineering and Formal Methods, 23-27 November 2009, Hanoi, Vietnam. |
