![]() |
| 2002 | ||
|---|---|---|
| 3 | EE | Masahiro Nakata, Katsuyuki Yasuda: Quality Assurance Activities for ASP Based on SLM in Hitachi. ECSQ 2002: 82-89 |
| 2000 | ||
| 2 | EE | Susumu Hayashi, Masahiro Nakata: Towards Limit Computable Mathematics. TYPES 2000: 125-144 |
| 1996 | ||
| 1 | EE | Takamasa Nara, Masahiro Nakata, Akihiro Ooishi: Software reliability growth analysis-application of NHPP models and its evaluation. HASE 1996: 222-227 |
| 1 | Susumu Hayashi | [2] |
| 2 | Takamasa Nara | [1] |
| 3 | Akihiro Ooishi | [1] |
| 4 | Katsuyuki Yasuda | [3] |