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

• Kenji Osari, Takuya Murooka, Kiyotaka Hagiwara, Takahiro Ando, Masaya Shimakawa, Sohei Ito, Shigeki Hagihara, Naoki Yonezaki. An object-oriented language for parameterised reactive system specification based on linear temporal logic, Workshop on Computation: Theory and Practice (WCTP2013), Preproceedings of Workshop on Computation: Theory and Practice (WCTP2013), pp. 94-113, Sept. 2013.

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

• 長利健治, 室岡拓弥, 萩原聖貴, 安藤崇央, 島川昌也, 伊藤宗平, 萩原茂樹, 米崎直樹. 記述性を重視したリアクティブシステム用仕様記述言語T, 第20回ソフトウェア工学の基礎ワークショップFOSE2013, Nov. 2013.

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