Large Volume Testing for Executable Formal Specification using Hadoop
-
- KUSKABE Shigeru
- 九州大学
Bibliographic Information
- Title
- Large Volume Testing for Executable Formal Specification using Hadoop
- Author
- Shigeru Kusakabe
Journal
-
- Proc.16th International Workshop on HIPS : High-Level Parallel Programming Models and Supportive Environments
-
Proc.16th International Workshop on HIPS : High-Level Parallel Programming Models and Supportive Environments (採録決定) 2011
- Tweet
Details 詳細情報について
-
- CRID
- 1010000782067059971
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN
