抽象化ツールMLATについて
-
- TAKAHASHI Koichi
- National Institute of Advanced Industrial Science and Technology
Bibliographic Information
- Title
- 抽象化ツールMLATについて
- Author
- 高橋 孝一, 田辺 良則, 関澤 俊弦, 湯浅 能史
Journal
-
- 第三回システム検証の科学技術シンポジウム, 千里ライフサイエンスセンター
-
第三回システム検証の科学技術シンポジウム, 千里ライフサイエンスセンター 2006
- Tweet
Details 詳細情報について
-
- CRID
- 1010282256956334338
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN