高橋 孝一 | 電子技術総合研究所

スポンサーリンク

概要

• 同名の論文著者
• 電子技術総合研究所の論文著者

関連著者

• 高橋 孝一

  産業技術総合研究所

• 高橋 孝一

  電子技術総合研究所

• 萩谷 昌己

  東京大学大学院情報理工学系研究科

• 木下 佳樹

  産業技術総合研究所

• 西崎 真也

  京工業大学大学院情報理工学研究科

• 木下 佳樹

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

• 中田 秀基

  電子技術総合研究所

• 萩谷 昌己

  東京大学

• 萩谷 昌己

  東京大学理学部情報科学科萩谷研究室

• 中田 秀基

  電総研

• 木下 佳樹

  電子技術総合研究所

• 玉井 哲雄

  東京大学総合文化研究科

• 西崎 真也

  東京工業大学大学院情報理工学研究科

• 山本 光晴

  千葉大学理学部

• 木下 佳樹

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

• 高橋 孝一

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

• 木下 佳樹

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

• 西崎 真也

  東京工業大学

もっと見る 閉じる

著作論文

• 正則表現を用いた並列ごみ集めの抽象モデル検査
• 証明支援系の図式によるインターフェイス ( インタラクティブソフトウェア)
• グラフ探索アルゴリズムの形式的検証とモデル検査への応用について (プログラム変換と記号・数式処理)

スポンサーリンク