Synthesis and Refinement Check of Sequence Diagrams - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hisashi Miyazaki, Tomoyuki Yokogawa, Sousuke Amasaki, Kazuma Asada, Yoichiro Sato. Synthesis and Refinement Check of Sequence Diagrams. IEICE Transactions, 95-D(9):2193-2201, 2012. [doi]

This author has not been identified. Look up 'Hisashi Miyazaki' in GoogleThis author has not been identified. Look up 'Tomoyuki Yokogawa' in GoogleThis author has not been identified. Look up 'Sousuke Amasaki' in GoogleThis author has not been identified. Look up 'Kazuma Asada' in GoogleThis author has not been identified. Look up 'Yoichiro Sato' in Google

runs on WebDSL