田中 俊彰 | 大阪大学大学院情報科学研究科

スポンサーリンク

概要

• 田中 俊彰の詳細を見る
• 同名の論文著者
• 大阪大学大学院情報科学研究科の論文著者

関連著者

• 楠本 真二

  大阪大学大学院情報科学研究科

• 岡野 浩三

  岡山大学大学院自然科学研究科

• 岡野 浩三

  大阪大学大学院情報科学研究科

• 長岡 武志

  大阪大学大学院情報科学研究科

• 田中 俊彰

  大阪大学大学院情報科学研究科

著作論文

• 時間システムを対象とした到達可能性解析の高速化手法の提案
• 実時間システムを対象としたCEGARによる抽象洗練の並列化手法
• 複数反例抽出を用いたCEGARによる時間オートマトンの抽象洗練手法

スポンサーリンク