Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda, Saeko Matsuura
Quality Improvement of Requirements Specification using Model Checking Technique
ICEIS, 2012.
@inproceedings{ICEIS-v2-2012-AokiOOM,
author = "Yoshitaka Aoki and Shinpei Ogata and Hirotaka Okuda and Saeko Matsuura",
booktitle = "{Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2}",
isbn = "978-989-8565-11-2",
pages = "401--406",
publisher = "{SciTePress}",
title = "{Quality Improvement of Requirements Specification using Model Checking Technique}",
year = 2012,
}