Wei-Tek Tsai, Lian Yu, Feng Zhu, Raymond A. Paul. Rapid Verification of Embedded Systems Using Patterns. In 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings. pages 466-471, IEEE Computer Society, 2003. [doi]
@inproceedings{TsaiYZP03,
title = {Rapid Verification of Embedded Systems Using Patterns},
author = {Wei-Tek Tsai and Lian Yu and Feng Zhu and Raymond A. Paul},
year = {2003},
url = {http://csdl.computer.org/comp/proceedings/compsac/2003/2020/00/20200466abs.htm},
researchr = {https://researchr.org/publication/TsaiYZP03},
cites = {0},
citedby = {0},
pages = {466-471},
booktitle = {27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings},
publisher = {IEEE Computer Society},
isbn = {0-7695-2020-0},
}