VNU-UET Repository

Items where Author is "Aoki Toshiaki"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 2.

Article

Ngoc Hung Pham and Viet Ha Nguyen and Aoki Toshiaki and Katayama Takuya (2012) On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification. IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer, 95-A (9). pp. 1451-1460. ISSN 0916-8508

Ngoc Hung Pham and Viet Ha Nguyen and Aoki Toshiaki and Katayama Takuya (2010) A Minimized Assumption Generation Method for Component-Based Software Verification. IEICE Transactions on Information and Systems, E93-D (8). pp. 2172-2181. ISSN 0916-8532

This list was generated on Tue Sep 26 04:13:40 2017 ICT.