山口 宗師 | 山口大学大学院理工学研究科

スポンサーリンク

概要

• 山口 宗師の詳細を見る
• 同名の論文著者
• 山口大学大学院理工学研究科の論文著者

関連著者

• 山口 真悟

  山口大学大学院理工学研究科

• 田中 稔

  山口大学大学院理工学研究科

• 山口 宗師

  山口大学大学院理工学研究科

• 山口 宗師

  山口大学工学部

• 山口 真悟

  山口大学

著作論文

• ワークフローネットの健全性判定に対するモデル検査法について
• モデル検査ツールSPINによるワークフローネットの健全性の判定について(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
• A-12-5 モデル検査ツールSPINによるacyclic ACWFネットの健全性の検証について(A-12.コンカレント工学,一般講演)

スポンサーリンク