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

スポンサーリンク

概要

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

関連著者

• 渡邊 宏

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

• 高木 理

  京都産業大学理学部

• 武山 誠

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

• 水口 大知

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

• 渡邊 宏

  独立行政法人産業技術総合研究所情報科学連携研究体

• 崔 銀惠

  独立行政法人産業技術総合研究所システム検証研究センター

• 河本 貴則

  独立行政法人産業技術総合研究所システム検証研究センター

• 水口 大知

  産業技術総合研究所

• 高木 理

  Faculty of Science, Kyoto Sangyo University

• 武山 誠

  Research Center for Verification and Semantics, National Institute of Advanced Industrial Science an

• 渡邊 宏

  Research Center for Verification and Semantics, National Institute of Advanced Industrial Science an

• 渡邊 宏

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

もっと見る 閉じる

著作論文

• 組み込みソフトウェア開発におけるモデル検査の適用事例(システム検証の科学技術)
• 画面遷移仕様のモデル検査(サイバー増大ページ論文概要,サイバー増大号)
• PVSを用いた遷移系簡約化の検証(サイバー増大ページ論文概要,サイバー増大号)
• 対話型照明支援ツールPVSの紹介(続・システム検証の科学技術,サイバー増大号)

スポンサーリンク