Tetsuo Nakakawaji (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno: Strategic Testing Environment with Formal Description Techniques. IEEE Trans. Computers 40(4): 514-525 (1991)

1 Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno: OSI Testing Environment Based on the Standardized Formalisms. FORTE 1990: 287-294

Selection of 2 from 3 records - Tetsuo Nakakawaji has 8 coauthors

2		Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno: Strategic Testing Environment with Formal Description Techniques. IEEE Trans. Computers 40(4): 514-525 (1991)
1		Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno: OSI Testing Environment Based on the Standardized Formalisms. FORTE 1990: 287-294