ハヤシバラ ナオヒロ
HAYASHIBARA NAOHIRO
林原 尚浩
所属
京都産業大学 情報理工学部 情報理工学科
職種
教授
研究期間
2023/04～
研究課題
ディペンダブルな分散システム実現のためのモデルチェッキング技術の開発
実施形態
科学研究費補助金
研究委託元等の名称
大阪大学
研究種目名
基盤研究(B)
研究機関
京都産業大学
科研費研究課題番号
23H03370
代表分担区分
研究分担者
代表者
土屋達弘