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
Number of items: 6.

Article

Tran, 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 Item

Vu, 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.

This list was generated on Sat Dec 14 16:38:08 2024 +07.