睦田 陽介 | 日本電気株式会社

スポンサーリンク

概要

• 陸田 陽介の詳細を見る
• 同名の論文著者
• 日本電気株式会社の論文著者

関連著者

• 山根 智

  金沢大学大学院自然科学研究科電子情報工学専攻

• 山根 智

  金沢大学自然科学研究科電子情報工学専攻

• 山根 智

  金沢大学大学院自然科学研究科

• 睦田 陽介

  日本電気株式会社

• 睦田 陽介

  金沢大学大学院自然科学研究科

• 山根 智

  金沢大学自然科学研究科

• 山根 智

  金沢大学工学部情報システム工学科

• 加藤 位明

  金沢大学大学院自然科学研究科

• 陸田 陽介

  日本電気株式会社

著作論文

• 述語抽象化とその精錬による確率線形ハイブリッドオートマトンの到達可能解析手法(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
• 確率線形ハイブリッドオートマトンの記号的到達可能性解析手法(グラフ,ペトリ,ニューラルネット及び一般)
• 確率線形ハイブリッドオートマトンの記号的到達可能性解析手法(グラフ,ペトリ,ニューラルネット及び一般)

スポンサーリンク