Shuji Kinoshita

Research Projects

Entries per page

Improving disaster management capabilities by converting the Tokyo Metropolitan Local Disaster Management Plan into the Internet of Documents

Business proposals from university researchers, Tokyo Metropolitan Government, Apr, 2022 - Mar, 2025
平塚市地域防災計画の整合性検査方式の研究

共同研究, 平塚市, Apr, 2014 - Mar, 2024
Towards identifying and closing gaps in assurance of autonomous road vehicles (TIGARS)

Assuring Autonomy International Programme, University of York / Lloyd’s Register Foundation, Sep, 2018 - Dec, 2019
オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク

ソフトウェア工学分野の先導的研究支援事業(RISE), 独立行政法人情報処理推進機構(IPA), Jun, 2014 - Feb, 2016

木下佳樹