Academic Theses
|
|
Basic information
|
| Name | OYANO, Jun |
| Belonging department | |
| Occupation name | |
| researchmap researcher code | |
| researchmap agency |
 |
効率の良いモデル空間探査のための抽象化
|
Sole Author
|
モデル検査を効率よく行うための抽象化技法について全順序構造に基づく方法を提案した。
|
千葉商大紀要
|
第43巻第2号 (71)
|
2005/01