香川大学 · 創造工学部 · 准教授

研究キーワードソフトウェア工学・ソフトウェアモデリング・形式手法・モデルベーステスト・拡張ペトリネット・プッシュダウンオートマトン・HAYST法・突然変異テスト

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• Proceedings of International Conference on Artificial Life and Robotics 337 - 340 2023年02月2023 · 論文
• Proceedings of International Conference on Artificial Life and Robotics 341 - 344 2023年02月2023 · 論文
• Journal of Robotics, Networking and Artificial Life 9 1 81 - 86 2022年06月2022 · 論文
• Proceedings of International Conference on Artificial Life and Robotics 174 - 177 2022年01月2022 · 論文

• 2022年04月 -2027年03月2022 · 共同研究・競争的資金等の研究課題
• 2017年04月 -2023年03月2017 · 共同研究・競争的資金等の研究課題
• 2014年04月 -2018年03月2014 · 共同研究・競争的資金等の研究課題
• 2011年04月 -2015年03月2011 · 共同研究・競争的資金等の研究課題

• 公式プロフィール