Consistency Verification of UML Diagrams Based on Process Bisimulation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tomoyuki Yokogawa, Sousuke Amasaki, Keisuke Okazaki, Yoichiro Sato, Kazutami Arimoto, Hisashi Miyazaki. Consistency Verification of UML Diagrams Based on Process Bisimulation. In IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013. pages 126-127, IEEE, 2013. [doi]

This 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 'Keisuke Okazaki' in GoogleThis author has not been identified. Look up 'Yoichiro Sato' in GoogleThis author has not been identified. Look up 'Kazutami Arimoto' in GoogleThis author has not been identified. Look up 'Hisashi Miyazaki' in Google

runs on WebDSL