Hong Liu, Tianyu Yang, Jing Wang. Model Checking for the Fault Tolerance of Collaborative AUVs. In Radu F. Babiceanu, Hélène Waeselynck, Raymond A. Paul, Bojan Cukic, Jie Xu, editors, 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016. pages 244-245, IEEE, 2016. [doi]
@inproceedings{LiuYW16-0,
title = {Model Checking for the Fault Tolerance of Collaborative AUVs},
author = {Hong Liu and Tianyu Yang and Jing Wang},
year = {2016},
doi = {10.1109/HASE.2016.23},
url = {http://doi.ieeecomputersociety.org/10.1109/HASE.2016.23},
researchr = {https://researchr.org/publication/LiuYW16-0},
cites = {0},
citedby = {0},
pages = {244-245},
booktitle = {17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016},
editor = {Radu F. Babiceanu and Hélène Waeselynck and Raymond A. Paul and Bojan Cukic and Jie Xu},
publisher = {IEEE},
isbn = {978-1-4673-9913-5},
}