Takanori Arai

According to our database, Takanori Arai authored at least 1 paper in 2002.

Collaborative distances:

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

2002

Formal Verification of a Pipelined Processor with New Memory.

Hiroshi Nakamura, Takanori Arai, Masahiro Fujita

Proceedings of the 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002