Pham Ngoc Hung

	2012
5		Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama: An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification. RIVF 2012: 1-6
	2010
4		Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama: A Minimized Assumption Generation Method for Component-Based Software Verification. IEICE Transactions 93-D(8): 2172-2181 (2010)
	2009
3		Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama: A Minimized Assumption Generation Method for Component-Based Software Verification. ICTAC 2009: 277-291
2		Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama: Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. IEICE Transactions 92-A(11): 2772-2780 (2009)
	2008
1		Pham Ngoc Hung, Takuya Katayama: Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. APSEC 2008: 479-486

Coauthor Index

1	Toshiaki Aoki	[2] [3] [4] [5]
2	Takuya Katayama	[1] [2] [3] [4] [5]
3	Viet Ha Nguyen	[4] [5]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page