2016年に発行した本学先端科学技術研究科情報科学系のリサーチレポートを発行順に掲載しています。
本文は，図書館３階“本学関係刊行物”エリアに配架してありますので，ご利用ください。

発行番号	IS-RR-2016-001
論文タイトル	Termination and Boundedness for Well-Structured Pushdown Systems
著者	Lei, Suhua / Cai, Xiaojuan / Ogawa, Mizuhito
発行年月日	20160517
ページ	[1-25]

発行番号	IS-RR-2016-002
論文タイトル	Combined Model Checking and Testing Create Confidence in Correctness of Commercial Automotive Operating System
著者	Aoki, Toshiaki / Satoh, Makoto / Tani, Mitsuhiro / Yatake, Kenro / Kishi, Tomoji
発行年月日	20160523
ページ	[1-11]

発行番号	IS-RR-2016-003
論文タイトル	Towards Effective Cybersecurity Education and Training
著者	Beuran, Razvan / Chinen, Ken-ichi / Tan Yasuo / Shinoda, Yoichi
発行年月日	20161014
ページ	1-16