Items where Author is "Takuya, Katayama"
Group by: Item Type | No Grouping Number of items: 2. Pham, Ngoc Hung and Nguyen, Viet Ha and Toshiaki, Aoki and Takuya, Katayama (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 Pham, Ngoc Hung and Nguyen, Viet Ha and Toshiaki, Aoki and Takuya, Katayama (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 |
