Hirotaka Otsuka

According to our database, Hirotaka Otsuka authored at least 1 paper in 2003.

Collaborative distances:

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

2003

A test sequence generation method for communication protocols using the SAT algorithm.

Takanori Mori, Hirotaka Otsuka, Nobuo Funabiki, Akio Nakata, Teruo Higashino

Syst. Comput. Jpn., 2003