阿部 雄貴 | 仙台高等専門学校

スポンサーリンク

概要

• 阿部 雄貴の詳細を見る
• 同名の論文著者
• 仙台高等専門学校の論文著者

関連著者

• 高橋 薫

  東北大

• 高橋 薫

  仙台電波工業高等専門学校 情報通信工学科

• 高橋 薫

  仙台高等専門学校

• 阿部 雄貴

  仙台高等専門学校

• 和泉 諭

  東北大学電気通信研究所

• 高橋 薫

  仙台電波工業高等専門学校

• 和泉 諭

  東北大学電気通信研究所:情報科学研究科

• 富樫 敦

  宮城大学大学院事業構想学部デザイン情報学科

• 富樫 敦

  宮城大学事業構想学部

• 本間 圭

  宮城大学大学院事業構想学研究科

• 和泉 諭

  東北大学電気通信研究所:東北大学大学院情報科学研究科

• 富樫 敦

  宮城大学大学院事業構想学研究科

• 小林 秀幸

  静岡大学創造科学技術大学院

• 小林 秀幸

  仙台高等専門学校

• 鈴木 大輝

  仙台高等専門学校

• 佐藤 祐太

  宮城大学事業構想学部

もっと見る 閉じる

著作論文

• 変数を用いたWebアプリケーションのモデル化と形式的手法による検査(ワークショップ(査読付き),「次世代経営情報技術」,その他)
• 2Z-6 NuSMVを用いたオントロジ検証(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
• 2P-2 形式的手法と検査ツールによるモデル検査事例と考察(ソフトウェアの検査・検証,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
• D-3-5 NuSMVを用いたRBACモデルの検証(D-3.ソフトウェアサイエンス,一般セッション)
• B-005 モデル検査ツールNuSMVを用いたオントロジー検証(テスト・検証,B分野:ソフトウェア)

スポンサーリンク