Model Checking of Software Design in State Transition Matrix - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda. Model Checking of Software Design in State Transition Matrix. In Hamid R. Arabnia, Hassan Reza, Leonidas Deligiannidis, Juan Jose Cuadrado-Gallego, Vincent Schmidt, Ashu M. G. Solo, editors, Proceedings of the 2010 International Conference on Software Engineering Research & Practice, SERP 2010, July 12-15, 2010, Las Vegas, Nevada, USA, 2 Volumes. pages 507-513, CSREA Press, 2010.

This author has not been identified. Look up 'Tomohiro Shiraishi' in GoogleThis author has not been identified. Look up 'Weiqiang Kong' in GoogleThis author has not been identified. Look up 'Yuki Mizushima' in GoogleThis author has not been identified. Look up 'Noriyuki Katahira' in GoogleThis author has not been identified. Look up 'Michihiro Matsumoto' in GoogleThis author has not been identified. Look up 'Masahiko Watanabe' in GoogleThis author has not been identified. Look up 'Tetsuro Katayama' in GoogleThis author has not been identified. Look up 'Akira Fukuda' in Google

runs on WebDSL