Kotaro Katsuyama

Publication Activity (10 Years)

Years Active: 1989-1996
Publications (10 Years): 0

Publications

Kazuhiro Kusunoki, Tetsuo Nakakawaji, Kotaro Katsuyama, Nobumasa Nakano
Proposal and evaluation of time critical communication protocol with two-level data queues. Systems and Computers in Japan 27 (4) (1996)
Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno
Strategic Testing Environment with Formal Description Techniques. IEEE Trans. Computers 40 (4) (1991)
Fumiako Sato, Hirosato Tsuji, Kotaro Katsuyama, Tadanori Mizuno
Parameter Specification Language and Test Data Generation Tools for Communication Software Testing. Protocol Test Systems (1991)
Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno
OSI Testing Environment Based on the Standardized Formalisms. FORTE (1990)
Kotaro Katsuyama, Tetsuo Nakakawaji, Fumiaki Sato, Tadanori Mizuno
FOREST: a systematic testing environment based on standardized formal description techniques. COMPSAC (1990)
Fumiaki Sato, Kotaro Katsuyama, Tadanori Mizuno
TENT: Test Sequence Generation Tool for Communication Systems. FORTE (1989)