HOME＞
List＞Title List of Research Report (School of Information Science)
Title List of Research Report (School of Information Science)
JAIST Research Report (Graduate School of Advanced Science and Technology, School of Information Science) published in 2016; listed in chronological order.
Full article is stored in the shelves near the Doctoral Dissertations in the 3rd floor.
Research Report (School of Information Science) 2016 ： ISSN 0918-7553
| Publication # |
IS-RR-2016-001 |
| Title |
Termination and Boundedness for Well-Structured Pushdown Systems |
| Author(s) |
Lei, Suhua; Cai, Xiaojuan; Ogawa, Mizuhito |
| Date Published |
20160517 |
| Pages |
[1-25] |
| Publication # |
IS-RR-2016-002 |
| Title |
Combined Model Checking and Testing Create Confidence in Correctness of Commercial Automotive Operating System |
| Author(s) |
Aoki, Toshiaki; Satoh, Makoto; Tani, Mitsuhiro; Yatake, Kenro; Kishi, Tomoji |
| Date Published |
20160523 |
| Pages |
[1-11] |
| Publication # |
IS-RR-2016-003 |
| Title |
Towards Effective Cybersecurity Education and Training |
| Author(s) |
Razvan Beuran; Ken-ichi Chinen; Yasuo Tan; Yoichi Shinoda |
| Date Published |
20161014 |
| Pages |
1-16 |