論文

• Yuya Uezato, Yasuhiko Minamide. Configuration Reachability Analysis of Synchronized Recursive Timed Automata, コンピュータソフトウェア, Vol. 35, No. 1, pp. 140-168, Jan. 2018.

国際会議発表 (査読有り)

• Uezato Yuya, Yasuhiko Minamide. Synchronized Recursive Timed Automata, International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Lecture notes in computer science, LNCS, Springer, 9452, 249-265, Nov. 2015.

国内会議発表 (査読なし・不明)

• 上里 友弥, 南出 靖彦. 更新可能時間オートマトンの新たな拡張について, 日本ソフトウェア科学会３２回大会, Sept. 2015.

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]