Kotaro Katsuyama

According to our database, Kotaro Katsuyama authored at least 6 papers between 1989 and 1996.

Collaborative distances:

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

1996

Proposal and evaluation of time critical communication protocol with two-level data queues.

Kazuhiro Kusunoki, Tetsuo Nakakawaji, Kotaro Katsuyama, Nobumasa Nakano

Syst. Comput. Jpn., 1996

1991

Strategic Testing Environment with Formal Description Techniques.

Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno

IEEE Trans. Computers, 1991

Parameter Specification Language and Test Data Generation Tools for Communication Software Testing.

Fumiako Sato, Hirosato Tsuji, Kotaro Katsuyama, Tadanori Mizuno

Proceedings of the Protocol Test Systems, IV, 1991

1990

OSI Testing Environment Based on the Standardized Formalisms.

Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno

Proceedings of the Formal Description Techniques, 1990

FOREST: a systematic testing environment based on standardized formal description techniques.

Kotaro Katsuyama, Tetsuo Nakakawaji, Fumiaki Sato, Tadanori Mizuno

Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

1989

TENT: Test Sequence Generation Tool for Communication Systems.

Fumiaki Sato, Kotaro Katsuyama, Tadanori Mizuno

Proceedings of the Formal Description Techniques, 1989