研究費
公開件数:5件

No.1
資金の種類 文部科学省科学研究費
相手先区分
研究種目 基盤研究(C)
タイトル 組み合わせテストを応用した組込みシステムの検証項目生成の研究
提供機関
制度名
研究期間 2017/04/01-現在
代表・分担の別 代表
配分額(総額)
概要

No.2
資金の種類 共同研究
相手先区分 特殊法人
研究種目
タイトル 組込み制御システムの制御理論と制御システム開発に
おける不確定性に関する研究
提供機関
制度名
研究期間 2017/04/01-現在
代表・分担の別 代表
配分額(総額)
概要

No.3
資金の種類 文部科学省科学研究費
相手先区分
研究種目 基盤研究(C)
タイトル モデルと制約に基づくソフトウェア開発に関する研究
提供機関
制度名
研究期間 2016-現在
代表・分担の別 分担
配分額(総額)
概要

No.4
資金の種類 文部科学省科学研究費
相手先区分
研究種目 基盤研究(C)
タイトル 動的システムに対する組込み制御プログラムの信頼性検証に関する研究
提供機関
制度名
研究期間 2014/04/01-2017/03/31
代表・分担の別 代表
配分額(総額)
概要

No.5
資金の種類 研究寄付金
相手先区分 特殊法人
研究種目
タイトル 海外渡航費用
提供機関 公益財団法人 電気通信普及財団
制度名 福祉・文化事業援助
研究期間 2013/09-2013/09
代表・分担の別 代表
配分額(総額) 240,000
概要