JAIST Repository > Education and Reseach Center for Trustworthy e-Society 2004-2016 >
振舞い近似手法を用いたステートチャートに対する不変性の検証(<特集>オブジェクト指向技術)