Pao-Ann Hsiung, Yen-Hung Lin
Model-based Verification of Safety-Critical Systems
SEKE, 2005.
@inproceedings{SEKE-2005-HsiungL,
author = "Pao-Ann Hsiung and Yen-Hung Lin",
booktitle = "{Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-16-0",
pages = "596--601",
title = "{Model-based Verification of Safety-Critical Systems}",
year = 2005,
}