高井 利憲 | 産業技術総合研究所

スポンサーリンク

概要

• 高井 利憲の詳細を見る
• 同名の論文著者
• 産業技術総合研究所の論文著者

関連著者

• 高井 利憲

  産業技術総合研究所

• 木下 佳樹

  産業技術総合研究所

• 木下 佳樹

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

• 木下 佳樹

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

• 高井 利憲

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

• 大崎 人士

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

• 高橋 孝一

  産業技術総合研究所

• 古澤 仁

  鹿児島大学理学部数理情報科学科

• 高井 利憲

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

• 大崎 人士

  産業技術総合研究所

• 高橋 孝一

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

もっと見る 閉じる

著作論文

• 第1回 記述とは(記述の科学)
• 第2回 視点と形式的体系(記述の科学)
• 第3回 記述の構成と利用(記述の科学)
• 臨床情報学のための野外科学的方法--技術移転の方法論に向けて
• 2. フォーマルメソッドのフィールドワーク(Part II:産業界への応用,フォーマルメソッドの新潮流)
• Equational Tree Automata : Towards Automated Verification of Network Protocols (Algebra, Logic and Geometry in Informatics)
• クリーニ代数入門(チュートリアル,システム検証の科学技術)
• システム検証における数理的手法の紹介 : 組込みシステムへの適用事例(組込みシステム特集号)

スポンサーリンク