高橋 孝一 | 産業技術総合研究所システム検証研究センター

スポンサーリンク

概要

• 高橋 孝一の詳細を見る
• 同名の論文著者
• 産業技術総合研究所システム検証研究センターの論文著者

関連著者

• 高橋 孝一

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

• 高橋 孝一

  産業技術総合研究所

• 木下 佳樹

  産業技術総合研究所

• 木下 佳樹

  (独)産業技術総合研究所 組込みシステム技術連携研究体

• 高井 利憲

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

• 木下 佳樹

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

• 木下 佳樹

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

• 田辺 良則

  (独)科学技術振興機構CREST

• 高井 利憲

  (独)科学技術振興機構CREST

• 高橋 孝一

  (独)産業技術総合研究所

• 田辺 良則

  (独)科学技術振興機構crest:(独)産業技術総合研究所

• 高井 利憲

  産業技術総合研究所

• 坂井 公

  筑波大学数学系

• 中田 秀基

  電子技術総合研究所

• 高橋 孝一

  電子技術総合研究所

• 関澤 俊弦

  (独)科学技術振興機構crest:(独)産業技術総合研究所

• 中田 秀基

  電総研

• 木下 佳樹

  電子技術総合研究所

• 藤田 博征

  筑波大学博士課程数学研究科

• 高橋 孝一

  電子総合研究所

もっと見る 閉じる

著作論文

• 抽象化を用いた検証ツール(システム検証の科学技術)
• 時相論理の充足可能性判定器のための論理式生成法(計算モデル,フォーマルアプローチ論文)
• 証明支援系の図式によるインターフェイス ( インタラクティブソフトウェア)
• 標数2のある体上の代数方程式の求解
• システム検証における数理的手法の紹介 : 組込みシステムへの適用事例(組込みシステム特集号)
• 特集「システム検証の科学技術」の編集にあたって(システム検証の科学技術)
• 作譜科学の現状と将来--心配のないソフトウェア開発に向けて

スポンサーリンク