Tsuyoshi Ando

Publication Activity (10 Years)

Years Active: 1993-1998
Publications (10 Years): 0

Publications

Tsuyoshi Ando, Mau-Hsiang Shih
Simultaneous Contractibility. SIAM J. Matrix Anal. Appl. 19 (2) (1998)
Tsuyoshi Ando, Masataka Ohta, Kaoru Takahashi
Interpretation of SDL specification in LOTOS. Systems and Computers in Japan 25 (7) (1994)
Katsuyuki Sarashina, Tsuyoshi Ando, Kaoru Takahashi, Masataka Ohta, Yoshiaki Tokita
An Integrated Specification Support System for Communication Software Design Based on Stepwise Refinement and Graphical Representation. FORTE (1993)