長野 伸一 | 大阪大学大学院基礎工学研究科情報数理系専攻
スポンサーリンク
概要
関連著者
-
角田 良明
大阪大学大学院基礎工学研究科情報数理系専攻
-
長野 伸一
大阪大学大学院基礎工学研究科情報数理系専攻
-
長野 伸一
(株)東芝
-
菊野 亨
大阪大学大学院情報科学研究科
-
菊野 亨
大阪大学大学院 情報科学研究科
-
寺邊 正大
(株)三菱総合研究所総合安全研究センター
-
寺辺 正大
三菱総合研究所総合安全研究センター
-
寺邊 正大
(株)三菱総合研究所 安全技術研究部
-
寺邊 正大
(株)三菱総合研究所
-
菊野 享
大阪大学大学院基礎工学研究科情報数理系専攻
-
寺邊 正大
三菱総研
-
長野 伸一
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
角田 良明
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
菊野 亨
大阪大学 大学院基礎工学研究科 情報数理系専攻
著作論文
- マルチエージェントを用いた無中断予備VP設定方式
- 通信プロトコルの回復処理における設計誤りのReal-Time Temporal Logic を用いた検出
- 通信プロトコルの回復処理における設計誤りのReal-Time Temporal Logic を用いた検出
- 通信プロトコルの回復処理における設計誤りのReal-Time Temporal Logicを用いた検出(並列・分散)
- マルチエージェントを用いた無中断予備VP設定方式
- プロトコル検証シミュレータの開発とコネクション確立プロトコルへの適用
- 通信プロトコルのリスポンシブネス検証における仮想システム状態の導入効果の実験的評価