Yunja Choi. Verification of an abstract component using communication patterns. In ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009, May 16, 2009, Vancouver, Canada. pages 42-52, IEEE Computer Society, 2009. [doi]
@inproceedings{Choi09-1,
title = {Verification of an abstract component using communication patterns},
author = {Yunja Choi},
year = {2009},
doi = {10.1109/MOMPES.2009.5069136},
url = {http://dx.doi.org/10.1109/MOMPES.2009.5069136},
researchr = {https://researchr.org/publication/Choi09-1},
cites = {0},
citedby = {0},
pages = {42-52},
booktitle = {ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009, May 16, 2009, Vancouver, Canada},
publisher = {IEEE Computer Society},
isbn = {978-1-4244-3721-4},
}