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.
Abstract is missing.