時間制約によるAlloy記述の拡張
-
- Yuen Shoji
- 名古屋大学
Bibliographic Information
- Title
- 時間制約によるAlloy記述の拡張
- Author
- 黒板亮太, 結縁祥治
Journal
-
- 信学技法ソフトウェアサイエンス
-
信学技法ソフトウェアサイエンス 113-448 1-6, 2014
- Tweet
Details
-
- CRID
- 1010000782240051345
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN
