Items where Author is "Katayama, T."
Group by: Item Type | No Grouping Jump to: Conference or Workshop Item Number of items: 2. Conference or Workshop ItemPham, Ngoc Hung and Nguyen, Viet Ha and Aoki, Toshiaki and Katayama, T. (2012) An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification. In: 2012 IEEE RIVF International Conference on Computing and Communication Technologies. Pham, Ngoc Hung and Nguyen, Viet Ha and Aoki, Toshiaki and Katayama, T. (2012) An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification. In: 2012 IEEE RIVF International Conference on Computing and Communication Technologies, Research, Innovation, and Vision for the Future (RIVF), February 27 - March 1, 2012, Ho Chi Minh city. |
