XML-Based Static Type Checking and Dynamic Visualization for TCOZ - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun 0001, Hai H. Wang. XML-Based Static Type Checking and Dynamic Visualization for TCOZ. In Chris George, Huaikou Miao, editors, Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings. Volume 2495 of Lecture Notes in Computer Science, pages 311-322, Springer, 2002. [doi]

This author has not been identified. Look up 'Jin Song Dong' in GoogleThis author has not been identified. Look up 'Yuan-Fang Li' in GoogleThis author has not been identified. Look up 'Jing Sun' in GoogleThis author has not been identified. Look up 'Jun Sun 0001' in GoogleThis author has not been identified. Look up 'Hai H. Wang' in Google

runs on WebDSL