Yosinori Watanabe. Examining Important Corner Cases: Verification of Interacting Architectural Components in System Designs. In Ninth International Conference on Application of Concurrency to System Design, ACSD 2009, Augsburg, Germany, 1-3 July 2009. pages 19, IEEE Computer Society, 2009. [doi]
@inproceedings{Watanabe09,
title = {Examining Important Corner Cases: Verification of Interacting Architectural Components in System Designs},
author = {Yosinori Watanabe},
year = {2009},
doi = {10.1109/ACSD.2009.28},
url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2009.28},
tags = {architecture},
researchr = {https://researchr.org/publication/Watanabe09},
cites = {0},
citedby = {0},
pages = {19},
booktitle = {Ninth International Conference on Application of Concurrency to System Design, ACSD 2009, Augsburg, Germany, 1-3 July 2009},
publisher = {IEEE Computer Society},
}