大川 保吉 | 東京工業大学情報工学科

スポンサーリンク

概要

• 大川 保吉の詳細を見る
• 同名の論文著者
• 東京工業大学情報工学科の論文著者

関連著者

• 米田 友洋

  東京工業大学大学院情報理工学研究科計算工学専攻

• 大川 保吉

  東京工業大学情報工学科

著作論文

• タイムペトリネットにおけるCTL記号モデル検査法について
• タイムペトリネットにおけるCTL記号モデル検査法について
• タイムペトリネットの拡張とスケジューラビリティーの検証への応用

スポンサーリンク