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.
@inproceedings{ShiraishiKMKMWKF10,
title = {Model Checking of Software Design in State Transition Matrix},
author = {Tomohiro Shiraishi and Weiqiang Kong and Yuki Mizushima and Noriyuki Katahira and Michihiro Matsumoto and Masahiko Watanabe and Tetsuro Katayama and Akira Fukuda},
year = {2010},
tags = {model checking, meta-model, Meta-Environment, design},
researchr = {https://researchr.org/publication/ShiraishiKMKMWKF10},
cites = {0},
citedby = {0},
pages = {507-513},
booktitle = {Proceedings of the 2010 International Conference on Software Engineering Research & Practice, SERP 2010, July 12-15, 2010, Las Vegas, Nevada, USA, 2 Volumes},
editor = {Hamid R. Arabnia and Hassan Reza and Leonidas Deligiannidis and Juan Jose Cuadrado-Gallego and Vincent Schmidt and Ashu M. G. Solo},
publisher = {CSREA Press},
isbn = {1-60132-167-8},
}