"階層構造の抽象化精錬によるステートチャートの自動検証", コンピュータソフトウェア
-
- YAMANE Satoshi
- Kanazawa University
Bibliographic Information
- Title
- "階層構造の抽象化精錬によるステートチャートの自動検証", コンピュータソフトウェア
- Author
- 山崎真一, 山根智
Journal
-
- 日本ソフトウェア科学会 Vol.26,No.3
-
日本ソフトウェア科学会 Vol.26,No.3 155-170, 2009
- Tweet
Details 詳細情報について
-
- CRID
- 1010282257446068226
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN