Nguyen Truong Thang

	2006
6		Nguyen Truong Thang, Takuya Katayama: Specification and verification of inter-component constraints in CTL. ACM SIGSOFT Software Engineering Notes 31(2): (2006)
	2005
5		Nguyen Truong Thang, Takuya Katayama: Constructing Open Systems via Consistent Components. ICTAC 2005: 517-531
4		Nguyen Truong Thang, Takuya Katayama: A Formal Approach Facilitating the Evolution of Component-Based Software. IWPSE 2005: 49-52
	2004
3		Nguyen Truong Thang, Takuya Katayama: Handling Consistency of Software Evolution in an Efficient Way. IWPSE 2004: 121-130
	2003
2		Nguyen Truong Thang, Takuya Katayama: Towards a Sound Modular Model Checking of Collaboration-Based Software Designs. APSEC 2003: 88-97
1		Nguyen Truong Thang, Takuya Katayama: Dynamic Behavior and Protocol Models for Incremental Changes among a Set of Collaborative Objects. IWPSE 2003: 45-50

Coauthor Index

1

Takuya Katayama

[1] [2] [3] [4] [5] [6]