余宮 尚志 | 株式会社東芝

スポンサーリンク

概要

• 余宮 尚志の詳細を見る
• 同名の論文著者
• 株式会社東芝の論文著者

関連著者

• 余宮 尚志

  株式会社東芝

• 藤田 昌宏

  東京大学大学院工学系研究科電子工学

• 李 蓮福

  東京大学大学院工学系研究科電気系工学専攻

• 吉田 浩章

  東京大学大学院工学系研究科

• 余宮 尚志

  株式会社東芝ソフトウェア技術センター

• 吉田 浩章

  東京大学大規模集積システム設計教育研究センター(vdec)|科学技術振興機構戦略的創造研究推進事業crest

• 松本 剛史

  東京大学大規模集積システム設計教育研究センター

• 小原 俊逸

  株式会社東芝

• 大場 聡司

  株式会社東芝

• 小松 聡

  東京大学大規模集積システム設計教育研究センター

• 小島 慶久

  東京大学大学院工学系研究科電子工学専攻

• 石川 悠司

  東京大学大学院工学系研究科電子工学専攻

• 小島 昌一

  東芝ソフトウェアコンサルティング株式会社

もっと見る 閉じる

著作論文

• 反例を利用した網羅性の高いプロパティ集合生成手法(高位検証,デザインガイア2008-VLSI設計の新しい大地)
• 反例を利用した網羅性の高いプロパティ集合生成手法(高位検証,デザインガイア2008-VLSI設計の新しい大地)
• 反例を利用した網羅性の高いプロパティ集合生成手法(高位検証,デザインガイア2008-VLSI設計の新しい大地-)
• 既存設計の再利用を考慮したSoCの仕様記述手法と上位設計方法論
• N-026 機能安全設計におけるリスク分析のための事故事例の分類と活用方法(コンピュータと教育(2),N分野:教育・人文科学)
• N-025 国際安全規格IEC61508に対応した教育教材の開発及び教育の実施(コンピュータと教育(2),N分野:教育・人文科学)
• B-027 組込みソフトウェアに対するソフトウェアFMEAの試行実験とその考察(B分野:ソフトウェア,一般論文)

スポンサーリンク