研究者
J-GLOBAL ID：200901024148854798   更新日: 2020年04月26日

武山 誠

タケヤマ マコト | Takeyama Makoto
所属機関・部署：
独立行政法人産業技術総合研究所 関西センター 関西産学官連携センター 組込みシステム技術連携研究体

独立行政法人産業技術総合研究所 関西センター 関西産学官連携センター 組込みシステム技術連携研究体 について


ホームページURL (1件)： http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=M06216606
MISC (7件)：
  • Algebraic Structure for a Fixed Point Logic and Abstract Interpretation. 算譜科学研究速報 (Programming Science Technical Report). 2005
  • PVSの紹介. 算譜科学研究速報 (Programming Science Technical Report). 2005
  • Verification of Transition System Reduction via PVS. 算譜科学研究速報. 2005
  • 対話型証明支援ツール PVSの紹介. コンピュータソフトウェア. 2005. 22. 3. 37-57
  • Verification of Transition System Reduction via PVS. コンピュータソフトウェア. 2005. 22. 3. 134-145
もっと見る
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM