Masahiro Nakata

According to our database, Masahiro Nakata authored at least 3 papers between 1996 and 2002.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2002

Quality Assurance Activities for ASP Based on SLM in Hitachi.

Masahiro Nakata, Katsuyuki Yasuda

Proceedings of the Software Quality, 2002

2000

Towards Limit Computable Mathematics.

Susumu Hayashi, Masahiro Nakata

Proceedings of the Types for Proofs and Programs, International Workshop, 2000

1996

Software reliability growth analysis-application of NHPP models and its evaluation.

Takamasa Nara, Masahiro Nakata, Akihiro Ooishi

Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996