![]() | ![]() |
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] |