松尾 尚文 | 大阪大学大学院情報科学研究科
スポンサーリンク
概要
関連著者
-
菊野 亨
大阪大学大学院情報科学研究科
-
土屋 達弘
大阪大学大学院情報科学研究科
-
松尾 尚文
大阪大学大学院情報科学研究科
-
菊野 亨
大阪大学 基礎工学部
-
菊野 亨
大阪大学大学院 情報科学研究科
-
菊野 亨
大阪大学基礎工学部
-
菊野 亨
大阪大学基礎工学部情報工学科
-
牧川 文紀
大阪大学大学院情報科学研究科
-
リーラープルット パッタラ
大阪大学大学院情報科学研究科
著作論文
- Interpolantを利用したモデル検査による機能競合の検証(ネットワーク環境でのディペンダビリティ)
- ホームネットワークシステムにおける連携サービスのモデル検査による検証
- モデル検査による分散システムにおける合意アルゴリズムの安全性の検証(ディペンダブルソフトウェアとネットワーク及び一般)
- 情報家電システムの安全検証(「信頼性・保全性・安全性の事例:情報処理・ソフトウェア編」〜信頼性ハンドブック出版から10年を経て〜)
- オーバーレイネットワークにおける遠距離通信のホップ数削減の試み(インターネット環境でのデータ工学とディペンダビリティ)
- オーバーレイネットワークにおける遠距離通信のホップ数削減の試み(インターネット環境でのデータ工学とディペンダビリティ)