Pao-Ann Hsiung, Yen-Hung Lin. Model-based Verification of Safety-Critical Systems. In William C. Chu, Natalia Juristo Juzgado, W. Eric Wong, editors, Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005), Taipei, Taiwan, Republic of China, July 14-16, 2005. pages 596-601, 2005.
@inproceedings{HsiungL05:1,
title = {Model-based Verification of Safety-Critical Systems},
author = {Pao-Ann Hsiung and Yen-Hung Lin},
year = {2005},
tags = {rule-based},
researchr = {https://researchr.org/publication/HsiungL05%3A1},
cites = {0},
citedby = {0},
pages = {596-601},
booktitle = {Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005), Taipei, Taiwan, Republic of China, July 14-16, 2005},
editor = {William C. Chu and Natalia Juristo Juzgado and W. Eric Wong},
isbn = {1-891706-16-0},
}