抽象化ツールMLATについて
-
- 高橋 孝一
- (独)産業技術総合研究所
書誌事項
- タイトル
- 抽象化ツールMLATについて
- 著者
- 高橋 孝一, 田辺 良則, 関澤 俊弦, 湯浅 能史
収録刊行物
-
- 第三回システム検証の科学技術シンポジウム, 千里ライフサイエンスセンター
-
第三回システム検証の科学技術シンポジウム, 千里ライフサイエンスセンター 2006
- Tweet
詳細情報
-
- CRID
- 1010282256956334338
-
- 資料種別
- journal article
-
- データソース種別
-
- KAKEN