Takaaki Nakashiba

Publication Activity (10 Years)

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

Publications

Yoshitomo Ikkai, Takaaki Nakashiba, Norihisa Komoda
Application of specification language SOL and its verification method to a flexible manufacturing line. ACC (2002)