Items where Author is "Aoki, Toshiaki"
Group by: Item Type | No Grouping Jump to: Article | Conference or Workshop Item Number of items: 6. ArticleTran, Hoang Viet and Pham, Ngoc Hung and Nguyen, Viet-Ha and Aoki, Toshiaki (2020) A framework for assume-guarantee regression verification of evolving software. Sci. Comput. Program., 193 . p. 102439. Vu, Dieu Huong and Chiba, Yuki and Yatake, Kenro and Aoki, Toshiaki (2015) A Framework for Verifying the Conformance of Design to Its Formal Specifications. IEICE Transactions on Information and Systems, E98-D (6). pp. 1137-1149. ISSN 1745-1361 Conference or Workshop ItemVu, Dieu Huong and Truong, Anh Hoang and Chiba, Yuki and Aoki, Toshiaki (2017) Automated testing reactive systems from Event-B model. In: 2017 4th National Foundation for Science and Technology Development Conference on Information and Computer Science, 24-25 November2017, Ha Noi, Viet Nam. Vu, Dieu Huong and Chiba, Yuki and Yatake, Kenro and Aoki, Toshiaki (2016) Verifying OSEK/VDX OS Design using Its Formal Specification. In: TASE 2016, 17-19, July, 2016, Shanghai, China. 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. 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. |
