水口 大知 | 産業技術総合研究所システム検証研究センター

スポンサーリンク

概要

• 同名の論文著者
• 産業技術総合研究所システム検証研究センターの論文著者

関連著者

• 水口 大知

  産業技術総合研究所システム検証研究センター

• 水口 大知

  産業技術総合研究所

• 渡邊 宏

  産業技術総合研究所システム検証研究センター

• 長谷部 浩二

  産業技術総合研究所システム検証研究センター

• 長谷部 浩二

  産業技術総合研究所

著作論文

• 組み込みソフトウェア開発におけるモデル検査の適用事例(システム検証の科学技術)
• ソフトウェアの安全性をめぐる課題について(人に触れる機械の課題)

スポンサーリンク