Items where Author is "Yatake, Kenro"
Group by: Item Type | No Grouping Jump to: Article | Conference or Workshop Item Number of items: 2. ArticleVu, 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 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. |
