清野 貴博 | 独立行政法人産業技術総合研究所社会知能研究ラボ

スポンサーリンク

概要

• 清野 貴博の詳細を見る
• 同名の論文著者
• 独立行政法人産業技術総合研究所社会知能研究ラボの論文著者

関連著者

• 中村 正樹

  金沢大学理工学域電子情報学類

• 中村 正樹

  北陸先端科学技術大学院大学情報科学研究科

• 清野 貴博

  独立行政法人産業技術総合研究所社会知能研究ラボ

• 中村 正樹

  金沢大学 理工学域 電子情報学類

• 清野 貴博

  独立行政法人産業技術総合研究所サービス工学研究センター

• 清野 貴博

  産業技術総合研究所 情報技術研究部門

• 清野 貴博

  産業技術総合研究所情報技術研究部門

• 清野 貴博

  独立行政法人産業技術総合研究所 社会知能研究ラボ

• Nakamura Masaki

  Kanazawa Univ. Kanazawa‐shi Jpn

• Nakamura Masaki

  School Of Electrical And Computer Engineering Kanazawa University

• 中村 正樹

  富山県立大学工学部

もっと見る 閉じる

著作論文

• OTS/CafeOBJ法に基づく並行システムの実装とテスト生成(コンカレントシステム,離散事象システム及び一般)
• OTS/CafeOBJ法における証明譜からのテスト生成

スポンサーリンク