VNU-UET Repository

Items where Author is "Vu, Dieu Huong"

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

Article

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.

This list was generated on Fri Mar 29 04:00:44 2024 +07.