菊野 亨 | 大阪大学
スポンサーリンク
概要
関連著者
-
菊野 亨
大阪大学
-
菊野 亨
大阪大学大学院情報科学研究科
-
菊野 亨
大阪大学 基礎工学部
-
土屋 達弘
大阪大学
-
土屋 達弘
大阪大学大学院情報科学研究科
-
菊野 亨
大阪大学基礎工学部
-
菊野 亨
大阪大学基礎工学部情報工学科
-
鳥居 宏次
大阪大学 基礎工学部 情報工学科
-
榊原 孝夫
パナソニックエレクトロニックデバイス株式会社
-
徳山 瞬
大阪大学
-
工藤 英男
奈良工業高等専門学校
-
鳥居 宏次
奈良先端科学技術大学院大学
-
鳥居 宏次
大阪大学基礎工学部
-
楠本 真二
大阪大学 大学院情報科学研究科
-
松本 健一
大阪大学基礎工学部
-
世古 忠
奈良工業高等専門学校
-
鳥居 宏次
大阪大 基礎工
-
高田 義広
大阪大学基礎工学部
-
高田 義広
奈良先端科学技術大学院大学情報科学研究科:(現)オムロン株式会社
-
井上 裕之
大阪大学
-
松本 健一
大阪大学 基礎工学部 情報工学科
-
楠本 真二
大阪大学
-
菊野 亨
大阪大学大学院 情報科学研究科
著作論文
- 新年のご挨拶 : 2010年:新しい変化の年そして挑戦の年
- 年頭の挨拶 : 30年を振り返って,一歩一歩前進
- 揺りかごのような存在 : 屋久島の倒木の役割
- 情報処理・ソフトウェアの信頼性保証技術 : 10年の歩みを踏まえて
- 情報家電に期待すること : 安定した生活の立場から
- モデル検査入門
- プログラム設計過程の定量的評価の試み-初期設計書の品質から見た評価-
- チームによるプログラム開発におけるデバッグ能力の実験的評価
- 並列論理シミュレーションにおけるロールバックについて
- [3-2] ハードウェアRAMフォールトに対するソフトウェアによる監視方法(セッション3 試験,解析,一般,日本信頼性学会 第14回春季信頼性シンポジウム 報告)
- 3-2 ハードウェアRAMフォールトに対するソフトウェアによる監視方法(試験、解析、一般,セッション3)
- ソフトウェアの信頼性・安全性について(2011年度第1回フォーラムより〜信頼性・安全性に関する特別セミナー〜)
- 上界のない整数型変数を有する並行システムに対するk帰納法を用いたモデル検査(ネットワーク環境でのディペンダビリティ,及び一般)
- ネットワークコーディングに基づくゴシップの提案(ネットワーク環境でのディペンダビリティ,及び一般)
- ネットワークコーディングに基づくゴシップの提案