|
ハヤシバラ ナオヒロ
HAYASHIBARA NAOHIRO
林原 尚浩 所属 京都産業大学 情報理工学部 情報理工学科 職種 教授 |
|
| 研究期間 | 2023/04/01～2027/03/31 |
| 研究課題 | ディペンダブルな分散システム実現のためのモデルチェッキング技術の開発 |
| 実施形態 | 科学研究費補助金 |
| 研究委託元等の名称 | 日本学術振興会 |
| 研究種目名 | 基盤研究(B) |
| 研究機関 | 大阪大学 |
| 研究者・共同研究者 | 土屋 達弘,林原 尚浩,緒方 和博,中川 博之 |
| PermalinkURL | https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23K28060 |