Tetsuya Shirogane

Publication Activity (10 Years)

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

Publications

Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio
Formal Analysis for Continous Systems Controlled by Programs. ASIAN (1996)
Shigeru Igarashi, Masayuki Shio, Tetsuya Shirogane, Tetsuya Mizutani
Formal Verification and Evaluation of Execution Time in the Envelope Theory. ASIAN (1996)