K. Tokuda

According to our database, K. Tokuda authored at least 1 paper in 2001.

Collaborative distances:

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

2001

A Method to Generate Conformance Test Sequences for FSM with Timer System Call.

Takanori Mori, K. Tokuda, Harumasa Tada, Masahiro Higuchi, Teruo Higashino

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001