JAIST Repository > 安心電子社会教育研究センター 2004~2016 > z11-10. 学術雑誌論文等 >
振舞い近似手法を用いたステートチャートに対する不変性の検証(<特集>オブジェクト指向技術)