Kagawa University · Faculty of Creative Engineering · 准教授

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

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 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 · 共同研究・競争的資金等の研究課題

• Official profile