メニュー
検索
研究課題をさがす
研究者をさがす
KAKENの使い方
日本語
英語
前のページに戻る
ディペンダブルな分散システム実現のためのモデルチェッキング技術の開発
研究課題
サマリー
2024年度
基礎情報
研究課題/領域番号
23K28060
研究種目
基盤研究(B)
配分区分
基金
応募区分
一般
審査区分
小区分60050:ソフトウェア関連
研究機関
大阪大学
研究代表者
土屋 達弘
大阪大学, 大学院情報科学研究科, 教授 (30283740)
研究期間 (年度)
2024-02-28 – 2027-03-31
研究課題ステータス
採択 (2024年度)
配分額
*注記
12,480千円 (直接経費: 9,600千円、間接経費: 2,880千円)
2026年度: 4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2025年度: 4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2024年度: 4,160千円 (直接経費: 3,200千円、間接経費: 960千円)